diff options
| author | Wolfgang Wiedmeyer <wolfgit@wiedmeyer.de> | 2016-02-08 16:56:10 +0100 |
|---|---|---|
| committer | Wolfgang Wiedmeyer <wolfgit@wiedmeyer.de> | 2016-02-08 16:56:10 +0100 |
| commit | 0362c6eb271f15b461038ff475c8520b609cf61d (patch) | |
| tree | ee668b4227e63f4141739210aafb596458fbceef /antlr/PREBUILT | |
| parent | 1c334779e728cfa04e1402b1e6a858fbe70e59ec (diff) | |
| download | toolchain_jack-0362c6eb271f15b461038ff475c8520b609cf61d.zip toolchain_jack-0362c6eb271f15b461038ff475c8520b609cf61d.tar.gz toolchain_jack-0362c6eb271f15b461038ff475c8520b609cf61d.tar.bz2 | |
remove prebuilt antlr and use antlr from Debian instead
Signed-off-by: Wolfgang Wiedmeyer <wolfgit@wiedmeyer.de>
Diffstat (limited to 'antlr/PREBUILT')
| -rw-r--r-- | antlr/PREBUILT | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/antlr/PREBUILT b/antlr/PREBUILT deleted file mode 100644 index 26e9370..0000000 --- a/antlr/PREBUILT +++ /dev/null @@ -1,2 +0,0 @@ -The objects in this prebuilt directory are coming from -http://www.antlr.org/download/antlr-3.4-complete.jar
\ No newline at end of file |