From cfff8578d2401d5b964a7007d66e822b639f7c5b Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Sat, 15 May 2010 13:56:04 +0000 Subject: [PATCH] initfile reader passes tests now -- GitLab