some conversions of repositories to Git

2019-08-07 13:36:53 +02:00
parent b5ee111162
commit 105e0bfb3c
24 changed files with 207 additions and 51 deletions
--- a/tools/is_already_included.py
+++ b/tools/is_already_included.py
@ -1,6 +1,6 @@
 """
-    Checks a list of game names (comma separated in text file) if they are already included in the database.
-    Is fuzzy, i.e. accepts a certain similarity of names.
+Checks a list of game names (comma separated in text file) if they are already included in the database.
+Is fuzzy, i.e. accepts a certain similarity of names.
 """

 import json