diff options
author | Marcus Brinkmann <marcus@gnu.org> | 2001-07-18 18:46:12 +0000 |
---|---|---|
committer | Marcus Brinkmann <marcus@gnu.org> | 2001-07-18 18:46:12 +0000 |
commit | a0faecab9371d537a3d8d18f451421bc31ef6a07 (patch) | |
tree | 4a80be474e9a9bb196265592fd447383a49057d6 /proc | |
parent | a9c1365872e9554de8f45cd859c57c5192b51a8e (diff) |
2001-07-18 Marcus Brinkmann <marcus@gnu.org>
* rc: Do not excempt random-seed when cleaning up /var/run. State
data should be in /var/lib (FHS) or /var/state.
* changelog: Update to current version.
* debian/servers.boot: Add die $(serverboot).
Diffstat (limited to 'proc')
0 files changed, 0 insertions, 0 deletions