From ab84a4cb9ca0634b4df439dcfd0aff1fc1def9e2 Mon Sep 17 00:00:00 2001 From: Jan Hoenig <hrominium@gmail.com> Date: Thu, 8 Dec 2016 10:17:28 +0100 Subject: [PATCH] Deleted pycharm specific files, which cannot be unified on different systems --- typedsymbol.py => types.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename typedsymbol.py => types.py (100%) diff --git a/typedsymbol.py b/types.py similarity index 100% rename from typedsymbol.py rename to types.py -- GitLab