projects / shutils.git / tree


6eefa0a81fe1764b61043dddc71ada387f1d7052
-rwxr-xr-x 2814 git-pull-all blob | raw
-rwxr-xr-x 535 pre-commit-texcheck blob | raw
A collection of homebrewn tools.