chiark / gitweb /
use gzip --rsyncable
-rw-r--r-- 103 .gitignore
-rw-r--r-- 1713 LICENCE
-rw-r--r-- 1735 README
-rw-r--r-- 64 accessibility.properties
-rwxr-xr-x 817 build-sh
-rwxr-xr-x 5104 jpctb
drwxr-xr-x - lib
drwxr-xr-x - src