added DEV to 5.7.0 everywhere else

gap-packages · Feb 8, 2024 · 0a1dc19 · 0a1dc19
1 parent f6ab03d
commit 0a1dc19
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,7 +2,7 @@ In this file we record the changes since the 3.xxx versions of the ACE
 package. Also look at gap/CHANGES  for  a  history  of  the  pre-3.xxx
 development.
 
-## Version 5.7.0 (2023-03-12)
+## Version 5.7.0DEV (2023-03-12)
   * use ACE 4.1 sources, adjust GAP interface accordingly
     in particular, take care of  ACE's pmode option removed,
     remove aceoutfile ACE GAP package option. 

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-5.7.0
+5.7.0DEV