Refactored badguys
authorAdam Chlipala <adamc@hcoop.net>
Sun, 21 Aug 2005 19:27:15 +0000 (19:27 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 21 Aug 2005 19:27:15 +0000 (19:27 +0000)
commit83056e62d914f0b902c70781ff15b0ff2e1f0f4c
tree9a82b231dde76b8d428fe6f4487e31ab27dbf36f
parentf5a6c05e5e465bc230dceafbdd145659fc629d81
Refactored badguys
closed.conf