diff options
author | Neil <nyamatongwe@gmail.com> | 2019-06-18 08:46:50 +1000 |
---|---|---|
committer | Neil <nyamatongwe@gmail.com> | 2019-06-18 08:46:50 +1000 |
commit | eada462c945f724c95aff0ae20e4f6d9a9c8c134 (patch) | |
tree | 0c084dd8b3b3c2603d8d7695c9c7d2fc5e1fe854 /scripts/CheckMentioned.py | |
parent | 38205eca6733880ce8be495e584b0002bac3621f (diff) | |
download | scintilla-mirror-eada462c945f724c95aff0ae20e4f6d9a9c8c134.tar.gz |
Backport: Feature [feature-requests:#1297] 2: Replace int with position or line where that
is more accurate.
This helps define where 64-bit values may be passed for huge files.
Backport of changeset 7577:e9132d4f7fad.
Diffstat (limited to 'scripts/CheckMentioned.py')
0 files changed, 0 insertions, 0 deletions