2 Commits

Author	SHA1	Message	Date
mainzelm	1671ae0ee3	Minor fix	2005-10-11 15:38:18 +00:00
eknauel	60fa0e133c	Introduce a library for configurable options ... part of darcs patch: Sat Sep 17 18:35:54 EEST 2005 Eric Knauel <knauel@informatik.uni-tuebingen.de>	2005-09-27 08:57:28 +00:00