From 62bf4fdbac7d9028270c48939b740e7369c3b9ae Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 5 Jul 2023 21:14:26 +0200
Subject: [PATCH] Add release history entry for version 3.4.1
---
org.eventb.texteditor.feature/feature.xml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 0c4d9a7..0c65a20 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -10,6 +10,7 @@
A text editor for the Rodin platform to edit Event-B models
-----------------------------------------------------------
Release History:
+3.4.1 - Internal updates to the build process - no visible changes.
3.4.0 - Release for Rodin 3.5 and related dependencies
3.3.0 - Compatibility with core 3.3
3.2.0 - Rodin 3.2 compatible release
@@ -45,7 +46,7 @@ EventB-EMF-plugin v3.1.0
</description>
<copyright>
- Copyright (c) 2009-2018 Heinrich-Heine University Dusseldorf.
+ Copyright (c) 2009-2023 Heinrich-Heine University Dusseldorf.
All rights reserved.
</copyright>
--
GitLab