diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-04-09 22:19:58 -0400 |
---|---|---|
committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-04-09 22:40:25 -0400 |
commit | bb37b74288cf0653f42bbb149e3c563adcf2ead5 (patch) | |
tree | a89ba7e623b2b2289557dfb421a3e54384688c2f /ext/bg/js/settings/profiles.js | |
parent | 6788bb31d241e1b77a6630df3d617de4a9470f26 (diff) |
Rename "only" to "disambiguation" to match naming convention used for pitch accents
Diffstat (limited to 'ext/bg/js/settings/profiles.js')
0 files changed, 0 insertions, 0 deletions