tools: Migrate to external repo

This commit is contained in:
MonsterDruide1
2021-08-07 21:59:16 +02:00
parent 802be64d8e
commit 18152c5909
42 changed files with 38 additions and 3634 deletions
+1 -1
View File
@@ -1 +1 @@
tools/diff_settings.py
tools/common/diff_settings.py