Save version table.

Normand Briere

2019-08-16 83d0c2fa0bd2e96448f776144e1a89cdb1bb6998

 Grafreed.java
..
..
@@ -676,7 +676,8 @@
676
676
     
677
677
     public static void main(String argv[])
678
678
     {
679
-                String osArch = System.getProperty("os.arch");
679
+         String osArch = System.getProperty("os.arch");
680
+        if (Globals.DEBUG)
680
681
                 System.out.println("os.arch = " + osArch);
681
682
                 
682
683
         if (argv.length == 0)