diff options
| author | bringert <unknown> | 2004-06-22 15:28:07 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-22 15:28:07 +0000 |
| commit | bab786d20e876c86b3e1955bcac6bae354b1091b (patch) | |
| tree | a4cbab2b4b3b201c4db77f4ca75b3efee3fdf375 /src/jgf2.in | |
| parent | d0ee0d6901ad5ece6f3abd6d7a6683c5bb0b1b3f (diff) | |
Rename gf2 and jgf2 to gf and jgf2
Diffstat (limited to 'src/jgf2.in')
| -rw-r--r-- | src/jgf2.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/jgf2.in b/src/jgf2.in deleted file mode 100644 index 046d1349c..000000000 --- a/src/jgf2.in +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -prefix=@prefix@ -exec_prefix=@exec_prefix@ -GF_BIN_DIR=@bindir@ -GF_LIB_DIR=@libdir@/GF-@PACKAGE_VERSION@ - -GF=$GF_BIN_DIR/gf2 -JARFILE=$GF_LIB_DIR/gf-java.jar - -java -jar $JARFILE "$GF -java $*"
\ No newline at end of file |