diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-01-23 22:51:15 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-23 22:51:15 -0500 |
commit | 7b41f3b7b26af44c21a7c7fbd212e93b9d5dea67 (patch) | |
tree | 5b747555b7d341684c067fdf09738d21e8cd3200 /ext/fg/js/text-source-range.js | |
parent | ebfef0c74858607d050da2cdc9046a681b133b25 (diff) |
Replace "Disabled" with "None", for better terminology consistency (#1304)
Diffstat (limited to 'ext/fg/js/text-source-range.js')
0 files changed, 0 insertions, 0 deletions