diff options
author | Eduardo Pedroni <e.pedroni91@gmail.com> | 2015-06-05 22:44:03 +0200 |
---|---|---|
committer | Eduardo Pedroni <e.pedroni91@gmail.com> | 2015-06-05 22:44:03 +0200 |
commit | 5b3dc9b92cac06a635c26955dd3ec3c85666686b (patch) | |
tree | 14811b42893b2cdacfe86885075c891122e1a5f8 /build/header | |
parent | 35cf143b2c691d63cf70da9a5ad3663f5a573aa3 (diff) |
Organised project folder, tidied up build script and added automatic linux executable build
Diffstat (limited to 'build/header')
-rw-r--r-- | build/header | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/header b/build/header new file mode 100644 index 0000000..fdeaa61 --- /dev/null +++ b/build/header @@ -0,0 +1 @@ +#!/usr/bin/java -jar |