chiark / gitweb /
Make read_properties take several separator characters; chomp name & value
authorJonas Fonseca <fonseca@diku.dk>
Sun, 28 May 2006 03:23:52 +0000 (05:23 +0200)
committerJonas Fonseca <fonseca@antimatter.localdomain>
Sun, 28 May 2006 03:23:52 +0000 (05:23 +0200)
This concludes the fundation for using read_properties to read options from
a config file.


No differences found