diff options
author | Alexei Yatskov <FooSoft@users.noreply.github.com> | 2022-08-31 19:39:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-31 19:39:26 -0700 |
commit | 09f885a6c2a078331363842160a8712d1604d2b3 (patch) | |
tree | 0780a6d7bc01b6ca44264286f848b703a53abfa1 /ext/js/general/text-source-map.js | |
parent | e242b6598ccc544abb7b581b8062755e483907d4 (diff) | |
parent | b0ae4196347ae04a4d8c84ce768a37f9eff774a7 (diff) |
Merge pull request #2222 from toasted-nutbread/remove-dictionaries
Remove old dictionaries
Diffstat (limited to 'ext/js/general/text-source-map.js')
0 files changed, 0 insertions, 0 deletions