diff options
author | Neil <nyamatongwe@gmail.com> | 2019-06-18 12:49:18 +1000 |
---|---|---|
committer | Neil <nyamatongwe@gmail.com> | 2019-06-18 12:49:18 +1000 |
commit | 1fd32d4f09181a872b78c238bdd7adaa65a62774 (patch) | |
tree | e522d8104c437b609a9d2aef8bcaca4cd2d7ef3d /scripts/CheckMentioned.py | |
parent | ba67c936a7f56191e396e6c6015ede77ed791240 (diff) | |
download | scintilla-mirror-1fd32d4f09181a872b78c238bdd7adaa65a62774.tar.gz |
Feature [feature-requests:#1297] 5: Separate IndicatorNumbers from IndicatorStyle.
Deprecate INDIC?_MASK as they depended on old style-byte indicators so are no
longer valid.
Diffstat (limited to 'scripts/CheckMentioned.py')
0 files changed, 0 insertions, 0 deletions