tools tools tools!

2021-01-31 10:47:25 +08:00
parent 945599e937
commit 0901cf9f10
105 changed files with 1612 additions and 8467 deletions
@@ -1,3 +1,2 @@
 #!/bin/sh
-# `sh` must be used here instead of `bash` to support GitHub Desktop.
-exec tools/hooks/python.sh -m precommit
+exec tools/bootstrap/python -m mapmerge2.precommit