From b40e15b16685d4914a52af828632f8c13454d97e Mon Sep 17 00:00:00 2001 From: Arjen de Rijke Date: Tue, 30 Jan 2024 12:44:08 +0100 Subject: [PATCH] rename file, to fix problem with detecting license on documentation site (#17) --- LICENSE.txt => LICENSE | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename LICENSE.txt => LICENSE (100%) diff --git a/LICENSE.txt b/LICENSE similarity index 100% rename from LICENSE.txt rename to LICENSE