Changing handling of Apache log rename/delete
authorAdam Chlipala <adamc@hcoop.net>
Tue, 15 Jul 2008 14:31:13 +0000 (14:31 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 15 Jul 2008 14:31:13 +0000 (14:31 +0000)
commitffd50ec73c2d9582ef782bae84aa38af5c8a514a
tree73076b6cf545888eba4f6b54dac57b17219e301c
parent9a34b0017d95d8ff3563a0afa583c92e6356ad6f
Changing handling of Apache log rename/delete
src/plugins/apache.sml