From 8bf0ea059663741ba6475a7c93f8e5aea58bc57d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mat=C4=9Bj=20Ka=C5=A1par=20Jir=C3=A1sek?= Date: Tue, 12 Apr 2016 16:32:19 +0200 Subject: [PATCH] Added workspace settings to version control --- .gitignore | 2 - .idea/misc.xml | 3 + .idea/workspace.xml | 231 ++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 234 insertions(+), 2 deletions(-) create mode 100644 .idea/workspace.xml diff --git a/.gitignore b/.gitignore index af397a5..1fcb152 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1 @@ out -.idea/workspace.xml -.idea/tasks.xml \ No newline at end of file diff --git a/.idea/misc.xml b/.idea/misc.xml index 81708c2..db1dbaa 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -38,6 +38,9 @@ + + +