From 68271eebcbe375c66e7d3c84fc7284ec028e9da6 Mon Sep 17 00:00:00 2001 From: lkrsnik Date: Sat, 19 Aug 2017 09:55:25 +0200 Subject: [PATCH] Minor changes to workbench --- .idea/workspace.xml | 12 ++++-------- workbench.py | 3 ++- 2 files changed, 6 insertions(+), 9 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 517a635..5eac1c0 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,11 +2,7 @@ - - - -