diff options
| author |  jesopo | 2019-06-28 23:33:14 +0100 |
|---|---|---|
| committer | jesopo | 2019-06-28 23:33:14 +0100 |
| commit | a732bcfc258bca7f8b2a9c83718c5e4efaa79e56 (patch) | |
| tree | 2d417a3d4ea8928e6e6390a0b1906bf26148fa35 /modules/config.py | |
| parent | Setting.__init__ call in OptionsSetting ctor needs `self` param (diff) | |
| signature | ||
Only accept highlight-commands when they have "," or ":"
Diffstat (limited to 'modules/config.py')
0 files changed, 0 insertions, 0 deletions