diff options
| l--------- | jpl/bin/jpl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/jpl/bin/jpl b/jpl/bin/jpl deleted file mode 120000 index b52049e44a..0000000000 --- a/jpl/bin/jpl +++ /dev/null @@ -1 +0,0 @@ -../JPL/Compile.pm
\ No newline at end of file |