chiark / gitweb /
Write a pidfile on request, and delete it when finished.
[tripe] / .links
CommitLineData
410c8acf 1COPYING
2install-sh
3mkinstalldirs
4missing
5config.sub
6config.guess