Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | average | 419 | logplain |
-rwxr-xr-x | build.sh | 514 | logplain |
-rwxr-xr-x | cleanup.sh | 92 | logplain |
-rw-r--r-- | excludes | 439 | logplain |
-rwxr-xr-x | gendocs.sh | 992 | logplain |
-rwxr-xr-x | genuuid | 838 | logplain |
-rwxr-xr-x | nix-build.sh | 697 | logplain |
-rwxr-xr-x | pre-commit | 2185 | logplain |
-rwxr-xr-x | prepare-commit-msg | 1077 | logplain |
-rwxr-xr-x | proof | 1848 | logplain |
-rwxr-xr-x | push | 1096 | logplain |
-rwxr-xr-x | rename.sh | 2552 | logplain |
-rwxr-xr-x | speed-test.sh | 345 | logplain |
-rwxr-xr-x | speedcmp | 398 | logplain |
-rwxr-xr-x | spellcheck.sh | 92 | logplain |
-rwxr-xr-x | times.sh | 243 | logplain |
-rwxr-xr-x | update_copyright_year.sh | 1766 | logplain |