chiark / gitweb /
Merge branch 'pctb' into 'main' jarrg-1.1.0
-rw-r--r-- 155 .gitignore
-rw-r--r-- 1963 LICENCE
-rw-r--r-- 10804 LICENCE.clienthttprequest
-rw-r--r-- 6287 LICENCE.java-accessibility
-rw-r--r-- 2040 README
-rw-r--r-- 55 accessibility.properties
-rwxr-xr-x 1630 build-sh
-rwxr-xr-x 5902 jarrg
drwxr-xr-x - src