diff options
author | Simon Rettberg | 2019-12-11 18:18:06 +0100 |
---|---|---|
committer | Simon Rettberg | 2019-12-11 18:18:06 +0100 |
commit | 3c5981d3cfabb308abdf375279bd3c72aa38fd68 (patch) | |
tree | 5cefe2ea4101210424338caa360980790acc107d | |
parent | Revert "Add start script (now that we need to load plugins externally)" (diff) | |
download | tmlite-bwlp-3c5981d3cfabb308abdf375279bd3c72aa38fd68.tar.gz tmlite-bwlp-3c5981d3cfabb308abdf375279bd3c72aa38fd68.tar.xz tmlite-bwlp-3c5981d3cfabb308abdf375279bd3c72aa38fd68.zip |
Update gitignore
-rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -6,4 +6,6 @@ *.tmp *.class target/ - +/taskmanager.jar +/taskmanager.tar.gz +/taskmanager.sh |