package info
(click to toggle)
Folder: tools
| .. (parent) | ||||
| - | rwxr-xr-x | 419 | average | |
| - | rwxr-xr-x | 514 | build.sh | |
| - | rwxr-xr-x | 92 | cleanup.sh | |
| - | rw-r--r-- | 439 | excludes | |
| - | rwxr-xr-x | 992 | gendocs.sh | |
| - | rwxr-xr-x | 978 | genuuid | |
| - | rwxr-xr-x | 697 | nix-build.sh | |
| - | rwxr-xr-x | 2,185 | pre-commit | |
| - | rwxr-xr-x | 1,077 | prepare-commit-msg | |
| - | rwxr-xr-x | 1,848 | proof | |
| - | rwxr-xr-x | 1,096 | push | |
| - | rwxr-xr-x | 2,552 | rename.sh | |
| - | rwxr-xr-x | 345 | speed-test.sh | |
| - | rwxr-xr-x | 398 | speedcmp | |
| - | rwxr-xr-x | 92 | spellcheck.sh | |
| - | rwxr-xr-x | 243 | times.sh | |
| - | rwxr-xr-x | 1,766 | update_copyright_year.sh |
