--- a/RealConvert.def
+++ b/RealConvert.def
@@ -8,7 +8,7 @@
   (* Licence        : GNU Lesser General Public License (LGPL)              *)
   (*------------------------------------------------------------------------*)
 
-  (* $Id: RealConvert.def,v 1.1 2015/09/13 20:48:41 mriedl Exp mriedl $ *)
+  (* $Id: RealConvert.def,v 1.1.1.1 2018/06/08 21:38:43 mriedl Exp mriedl $ *)
 
 FROM ConvTypes IMPORT ConvResults;