From 7c4b9d67789b45e51312a152ab956bf28fe2452d Mon Sep 17 00:00:00 2001
From: Andreas Bulling <bulling@mpi-inf.mpg.de>
Date: Wed, 17 Apr 2019 11:19:49 +0200
Subject: [PATCH] renamed license file

---
 Copyright.txt => LICENSE | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Copyright.txt => LICENSE (100%)

diff --git a/Copyright.txt b/LICENSE
similarity index 100%
rename from Copyright.txt
rename to LICENSE