From 2eefdf2c7b848cfb1fd5fd43444eccb863fdfdc5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mario=20H=C3=BCttel?= Date: Sun, 20 Dec 2020 19:30:06 +0100 Subject: [PATCH] Move license files to root folder --- mathlib/include/GPLv2.MD => GPLv2.MD | 0 mathlib/include/LICENSE.MD => LICENSE.MD | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename mathlib/include/GPLv2.MD => GPLv2.MD (100%) rename mathlib/include/LICENSE.MD => LICENSE.MD (100%) diff --git a/mathlib/include/GPLv2.MD b/GPLv2.MD similarity index 100% rename from mathlib/include/GPLv2.MD rename to GPLv2.MD diff --git a/mathlib/include/LICENSE.MD b/LICENSE.MD similarity index 100% rename from mathlib/include/LICENSE.MD rename to LICENSE.MD