summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-25 08:38:47 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2018-05-25 08:38:47 +0200
commitdd77774b6529f6050ab551cec370b896912c20fe (patch)
treed9ca978380d14c6a02973977dfd82f5ce9018d39 /src
parenta858f1d7f4cc9cee322f2ceb911843584ba36e72 (diff)
Adds a manifest.
Diffstat (limited to 'src')
-rw-r--r--src/Manifest.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Manifest.txt b/src/Manifest.txt
new file mode 100644
index 0000000..ebf0683
--- /dev/null
+++ b/src/Manifest.txt
@@ -0,0 +1,2 @@
+Main-Class: hastabel2idp.Main
+