chiark / gitweb /
change terminology
-rw-r--r-- 3 .gitignore
-rw-r--r-- 7174 DESIGN
-rw-r--r-- 2926 FORMAT
-rw-r--r-- 674 RATIONALE
-rw-r--r-- 351 TERMINOLOGY
-rw-r--r-- 17 TODO
-rw-r--r-- 7989 Topbloke.pm
-rw-r--r-- 83 names
-rwxr-xr-x 3951 tb-create.pl
-rwxr-xr-x 698 topbloke-merge-driver
-rwxr-xr-x 1527 topbloke-merge-lists