chiark / gitweb /
exercise make_home()
[disorder] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 1070 Makefile.am
-rw-r--r-- 2338 completion.bash
-rwxr-xr-x 1138 dist
-rwxr-xr-x 3510 format-gcov-report
-rwxr-xr-x 1909 htmlman
-rwxr-xr-x 948 inst
-rwxr-xr-x 19204 make-unidata
-rwxr-xr-x 1067 make-version-string
-rwxr-xr-x 1111 makedeb
-rw-r--r-- 1568 oggrename
-rw-r--r-- 1310 sedfiles.make
-rwxr-xr-x 12910 setup.in
-rwxr-xr-x 2306 teardown.in
-rwxr-xr-x 1198 text2c