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-- | 450 | excludes | |
| - | rwxr-xr-x | 992 | gendocs.sh | |
| - | rwxr-xr-x | 838 | genuuid | |
| - | rwxr-xr-x | 2,185 | pre-commit | |
| - | 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 |
