From 0fff70bc3734c70ae8daa26c09dbb97d3bc8cb60 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 18 Oct 2016 10:59:44 +0200
Subject: [PATCH] add a LICENSE file summarizing our licensing

---
 LICENSE | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 LICENSE

diff --git a/LICENSE b/LICENSE
new file mode 100644
index 000000000..c62f9bcc1
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,3 @@
+The source code in this development is licensed under the terms of the BSD
+license, while the documentation is licensed under the terms of the CC-BY 4.0
+license.  Fur further details, see LICENSE-CODE and LICENSE-DOCS, respectively.
-- 
GitLab