From 2ccf588392f816c218dc7e9a779e8cb6efa4125e Mon Sep 17 00:00:00 2001 From: wmayer Date: Fri, 6 May 2016 19:33:16 +0200 Subject: [PATCH] + fixes #0002133: Bad file name copying.lib --- copying.lib => COPYING | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename copying.lib => COPYING (100%) diff --git a/copying.lib b/COPYING similarity index 100% rename from copying.lib rename to COPYING