chiark / gitweb /
Merge branch 'public'
[tripe] / init /
drwxr-xr-x   ..
-rw-r--r-- 1707 Makefile.am
-rwxr-xr-x 4150 tripe-init.in
-rw-r--r-- 1962 tripe.conf