From 2a3e2176ebf34975972df7b89dc24ff00fc8068d Mon Sep 17 00:00:00 2001 From: Damien Doligez Date: Tue, 16 Feb 2016 13:22:57 +0100 Subject: [PATCH] rename LICENSE file for the manual --- manual/{LICENSE => LICENSE-for-the-manual} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename manual/{LICENSE => LICENSE-for-the-manual} (100%) diff --git a/manual/LICENSE b/manual/LICENSE-for-the-manual similarity index 100% rename from manual/LICENSE rename to manual/LICENSE-for-the-manual