From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 29 Nov 2015 10:23:22 +0000 (+0100)
Subject: add description
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=41729c590106ff7014de9cb01ddfb8557257abc5;p=ar1516.git

add description
---

diff --git a/description b/description
new file mode 100644
index 0000000..24b4e26
--- /dev/null
+++ b/description
@@ -0,0 +1 @@
+2015-S1 - NWI-IMC009: Automated Reasoning