diff options
author | Marcus Brinkmann <marcus@gnu.org> | 2001-06-15 20:14:42 +0000 |
---|---|---|
committer | Marcus Brinkmann <marcus@gnu.org> | 2001-06-15 20:14:42 +0000 |
commit | 57923e4dd71c001f3c375e70d3c9850f1077d043 (patch) | |
tree | dcf3ca1f9dd6af990f6100aa09e0f8f4a5ae9cb6 /doc/navigating | |
parent | f1a8bdd86789262228ea26c341825a82ff66bcad (diff) |
2001-06-15 Marcus Brinkmann <marcus@gnu.org>
* rc: Apply patch from Moritz Schulte <moritz@chaosdorf.de> to
be more selective with what to clean from /var/run.
Diffstat (limited to 'doc/navigating')
0 files changed, 0 insertions, 0 deletions