chiark / gitweb /
Fix changed options in parser table.