[default settings changed
martin.hofmann@uni-bamberg.de**20090615034028] hunk ./src/Data/GlobalConfig.hs 23
-defaultConfig = Conf False True (-1) Linear [] []
+defaultConfig = Conf False False (-1) Linear [] []