linefilterwriter: change in constructor / configuration: getPropWithHome
authorrk <rk>
Mon, 24 Sep 2001 15:43:28 +0000 (15:43 +0000)
committerrk <rk>
Mon, 24 Sep 2001 15:43:28 +0000 (15:43 +0000)
commitf0fe8574105c14ab0ee39edc2348390bffd27afa
tree1353b812fd2bc47f7e10870ce1ae0940afbfbbec
parent7b1755cdeef2e064ef6a9e44f4f0146d70ffeb34
linefilterwriter: change in constructor / configuration: getPropWithHome
source/mir/misc/LineFilterWriter.java
source/mir/misc/MirConfig.java