diff options
| author | Dave Davenport <qball@gmpclient.org> | 2018-04-28 15:29:17 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2018-04-28 15:29:17 +0200 |
| commit | 02baaf4df4410858a526516525e75b490c22ac40 (patch) | |
| tree | 9bbddcf1f52be81e17b4baa134bd795c9a58d302 /lexer/theme-lexer.l | |
| parent | 3a726eabbabf1867325b2d2bd51b6b657e655431 (diff) | |
[Lexer] Make not finding a configuration option a warning, not an error.
Diffstat (limited to 'lexer/theme-lexer.l')
0 files changed, 0 insertions, 0 deletions