Sat, 17 May 2008 06:30:02 +0100More flexible header names in .lgf + largely improved doc
Alpar Juttner <alpar@cs.elte.hu> [Sat, 17 May 2008 06:30:02 +0100] rev 156
More flexible header names in .lgf + largely improved doc