From 6973f8b6177f0fdc73ef388b62e04182eeafd7e1 Mon Sep 17 00:00:00 2001 From: Alexey Avramov Date: Mon, 25 Mar 2019 12:26:42 +0900 Subject: [PATCH] add warning_exe option --- .idea/misc.xml | 4 -- .idea/modules.xml | 8 --- .idea/nohang.iml | 11 ---- .idea/vcs.xml | 6 -- .idea/workspace.xml | 155 -------------------------------------------- 5 files changed, 184 deletions(-) delete mode 100644 .idea/misc.xml delete mode 100644 .idea/modules.xml delete mode 100644 .idea/nohang.iml delete mode 100644 .idea/vcs.xml delete mode 100644 .idea/workspace.xml diff --git a/.idea/misc.xml b/.idea/misc.xml deleted file mode 100644 index 4509fc6..0000000 --- a/.idea/misc.xml +++ /dev/null @@ -1,4 +0,0 @@ - - - - \ No newline at end of file diff --git a/.idea/modules.xml b/.idea/modules.xml deleted file mode 100644 index 4bb6158..0000000 --- a/.idea/modules.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - \ No newline at end of file diff --git a/.idea/nohang.iml b/.idea/nohang.iml deleted file mode 100644 index 6711606..0000000 --- a/.idea/nohang.iml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - \ No newline at end of file diff --git a/.idea/vcs.xml b/.idea/vcs.xml deleted file mode 100644 index 94a25f7..0000000 --- a/.idea/vcs.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml deleted file mode 100644 index 156ca81..0000000 --- a/.idea/workspace.xml +++ /dev/null @@ -1,155 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -