From d5f015ae36f4f2705349cf1fee6a8b8a8728ac2c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 18 Oct 2016 12:25:19 +0200
Subject: [PATCH] be even more verbose about licensing

---
 LICENSE | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/LICENSE b/LICENSE
index c62f9bcc1..e26164703 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,3 +1,5 @@
-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.
+The source code (i.e., everything except for files in the docs/ folder) in this
+development is licensed under the terms of the BSD license, while the
+documentation (i.e., everything inside the docs/ folder) is licensed under the
+terms of the CC-BY 4.0 license.  Fur further details, see LICENSE-CODE and
+LICENSE-DOCS, respectively.
-- 
GitLab