diff options
| author | Martin Braun <martin.braun@kit.edu> | 2013-11-27 22:29:17 +0100 |
|---|---|---|
| committer | Martin Braun <martin.braun@kit.edu> | 2013-11-27 22:29:17 +0100 |
| commit | ef135d2907855691001a618ecfeb8d0a813aab39 (patch) | |
| tree | 73b8a4b03ca1bc8af675e53cf33e02e9f24cbb3e /grc | |
| parent | 6bdec053259dfa1004b9403e039358a4046d309d (diff) | |
modtool: dashes no longer allowed in modnames at all (fixes #619)
Diffstat (limited to 'grc')
0 files changed, 0 insertions, 0 deletions