Thu, 02 Sep 2010 10:33:13 +0200 | haftmann | dropped dead code; tuned | changeset | files |
Thu, 02 Sep 2010 10:29:50 +0200 | haftmann | include names need not be considered as reserved any longer | changeset | files |
Thu, 02 Sep 2010 10:29:49 +0200 | haftmann | skip empty name bunches; fill up trailing positions with NONEs | changeset | files |