chiark / gitweb /
Merge branch 'release' into 'main'
-rw-r--r-- 43 .dir-locals.el
-rw-r--r-- 76 .gitignore
-rw-r--r-- 4031 .gitlab-ci.yml
lrwxrwxrwx 16 COPYING -> debian/copyright
-rw-r--r-- 56267 Cargo.lock
-rw-r--r-- 62069 Cargo.lock.minimal
-rw-r--r-- 1891 Cargo.toml
-rw-r--r-- 1422 DEVELOPER-CERTIFICATE
-rw-r--r-- 35147 GPLv3
-rw-r--r-- 385 HACKING.md
-rw-r--r-- 4331 Makefile
-rw-r--r-- 1640 PROTOCOL.txt
-rw-r--r-- 2168 README.md
drwxr-xr-x - adt
-rw-r--r-- 2225 build.rs
drwxr-xr-x - client
drwxr-xr-x - debian
drwxr-xr-x - docs
-rwxr-xr-x 2343 hippotat-setup-permissions
-rw-r--r-- 2292 hippotat-setup-permissions.8.pod
drwxr-xr-x - macros
drwxr-xr-x - maint
drwxr-xr-x - old-python
drwxr-xr-x - server
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - uml