From 434053ac2c3242cc98d72f8f9b1d29088009ce5a Mon Sep 17 00:00:00 2001
From: priesnit <priesnit@chalmers.se>
Date: Thu, 2 Mar 2006 20:53:44 +0000
Subject: GFHOME must now be set in the environment

minor change in German numbers
---
 bin/jgf | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'bin')

diff --git a/bin/jgf b/bin/jgf
index c4825ff58..4ef03f47f 100644
--- a/bin/jgf
+++ b/bin/jgf
@@ -1,8 +1,5 @@
 #! /bin/sh
 
-# change the value of GFHOME to the directory where you have the gf binary
-GFHOME=/home/aarne/GF
-
 JGUILIB=$GFHOME/src/JavaGUI
 GF=$GFHOME/bin/gf
 JGUI=GFEditor2
-- 
cgit v1.2.3