chiark / gitweb /
mon/tripemon.in (AddPeerDialog): Actually honour the `Mobile' option.
[tripe] / maint-utils /
drwxr-xr-x   ..
-rw-r--r-- 2238 keysubst
-rwxr-xr-x 186 make-bleeding
-rwxr-xr-x 401 make-test-keys
-rwxr-xr-x 1449 manfix