HISTORY
changeset 37 b24d11f7dfc4
parent 36 04e8cb4f8073
child 45 90f620beec6b
--- a/HISTORY
+++ b/HISTORY
@@ -1,9 +1,9 @@
 #======================================================================
 #                    H I S T O R Y 
 #                    doc: Thu May  7 13:12:05 2015
-#                    dlm: Tue Nov 27 12:57:11 2018
+#                    dlm: Tue Nov 27 13:14:17 2018
 #                    (c) 2015 A.M. Thurnherr
-#                    uE-Info: 184 51 NIL 0 0 70 0 2 4 NIL ofnI
+#                    uE-Info: 188 70 NIL 0 0 72 0 2 4 NIL ofnI
 #======================================================================
 
 May  7, 2015:
@@ -184,3 +184,5 @@
 	- update version number in [ants.pl] [.hg/hgrc]
 	- updated HISTORY
 	- published V7.1
+
+----------------------------------------------------------------------