From 1cb282901536d18a6424e79a1456719ef5859480 Mon Sep 17 00:00:00 2001 From: fjc40 Date: Mon, 17 Jul 2017 12:25:53 +1200 Subject: [PATCH] Removed some .idea/... files that had been commited ages ago. --- .idea/copyright/profiles_settings.xml | 3 --- .idea/kotlinc.xml | 7 ------- 2 files changed, 10 deletions(-) delete mode 100644 .idea/copyright/profiles_settings.xml delete mode 100644 .idea/kotlinc.xml diff --git a/.idea/copyright/profiles_settings.xml b/.idea/copyright/profiles_settings.xml deleted file mode 100644 index e7bedf33..00000000 --- a/.idea/copyright/profiles_settings.xml +++ /dev/null @@ -1,3 +0,0 @@ - - - \ No newline at end of file diff --git a/.idea/kotlinc.xml b/.idea/kotlinc.xml deleted file mode 100644 index 1c24f9a8..00000000 --- a/.idea/kotlinc.xml +++ /dev/null @@ -1,7 +0,0 @@ - - - - - \ No newline at end of file