From 83d0c2fa0bd2e96448f776144e1a89cdb1bb6998 Mon Sep 17 00:00:00 2001
From: Normand Briere <nbriere@noware.ca>
Date: Fri, 16 Aug 2019 18:22:19 -0400
Subject: [PATCH] Save version table.
---
Grafreed.java | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/Grafreed.java b/Grafreed.java
index 8896325..99344db 100644
--- a/Grafreed.java
+++ b/Grafreed.java
@@ -676,7 +676,8 @@
public static void main(String argv[])
{
- String osArch = System.getProperty("os.arch");
+ String osArch = System.getProperty("os.arch");
+ if (Globals.DEBUG)
System.out.println("os.arch = " + osArch);
if (argv.length == 0)
--
Gitblit v1.6.2