From ea40b2d53c01c33516cd37668d56e5b7123d064d Mon Sep 17 00:00:00 2001 From: "Ingensiep, Cathrin" <cathrin.ingensiep@uni-hamburg.de> Date: Fri, 17 Apr 2020 14:50:25 +0200 Subject: [PATCH] Delete filetypes.xml --- filetypes.xml | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 filetypes.xml diff --git a/filetypes.xml b/filetypes.xml deleted file mode 100644 index 00c5afa..0000000 --- a/filetypes.xml +++ /dev/null @@ -1,15 +0,0 @@ -<application> - <component name="FileTypeManager" version="17"> - <extensionMap> - <removed_mapping ext="bat" approved="true" type="PLAIN_TEXT" /> - <removed_mapping ext="log" approved="true" type="PLAIN_TEXT" /> - <removed_mapping ext="cmd" approved="true" type="PLAIN_TEXT" /> - <removed_mapping ext="bat" approved="true" type="PLAIN_TEXT" /> - <removed_mapping ext="log" approved="true" type="PLAIN_TEXT" /> - <removed_mapping ext="dockerfile" approved="true" type="textmate" /> - <removed_mapping ext="makefile" approved="true" type="textmate" /> - <removed_mapping ext="cmd" approved="true" type="PLAIN_TEXT" /> - <removed_mapping ext="snakefile" approved="true" type="textmate" /> - </extensionMap> - </component> -</application> \ No newline at end of file -- GitLab