commit | fca684f2b36500fb9aebca170c63900382bdf103 | [log] [tgz] |
---|---|---|
author | Michael Jastram <michael@jastram.de> | Tue Nov 18 14:15:12 2014 +0100 |
committer | Michael Jastram <michael@jastram.de> | Tue Nov 18 14:15:12 2014 +0100 |
tree | 6263373fb86799c14a1ba2c24c720603537700ce | |
parent | 232242623ff4a12ad7630320da7517938c8b8142 [diff] |
HeaderID according to standard must not start with a digit. Corrected.