chiark / gitweb /
init script: Change default user to _hippotat
[hippotat.git] / debian /
2022-09-25 Ian Jacksoninit script: Change default user to _hippotat
2022-09-25 Ian Jacksoninit script: copy from python version
2022-09-25 Ian Jacksonpackaging wip
2022-09-14 Ian Jacksonpackaging wip