From 85506b439f7d04b6e3aec347e373ea9f1a673282 Mon Sep 17 00:00:00 2001
From: Constantin Wenger <constantin.wenger@googlemail.com>
Date: Tue, 13 Aug 2019 20:38:51 +0000
Subject: [PATCH] make sure duplicate set abbreviations are removed

---
 .gitignore |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/.gitignore b/.gitignore
index 95c5db3..65f0ade 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,5 @@
 cmake-build-debug/
 CMakeLists.txt
 
+.idea/
+__pycache__/

--
Gitblit v1.10.0