From 7555bf422d6d80a3c2c682fa61d46de9bb7a8d28 Mon Sep 17 00:00:00 2001 From: Richard Schreiber Date: Thu, 15 Apr 2021 21:50:06 +0200 Subject: [PATCH] renamed doc/LICENSE to doc/LICENSE.txt to support case-insensitive file-systems --- doc/{LICENSE => LICENSE.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{LICENSE => LICENSE.txt} (100%) diff --git a/doc/LICENSE b/doc/LICENSE.txt similarity index 100% rename from doc/LICENSE rename to doc/LICENSE.txt