overleaf/services/web/frontend/js/ide/editor/directives
Jakob Ackermann 9207a42571 Merge pull request #6235 from overleaf/jpa-spelling-client-side-ignore-list
[web] spelling: bootstrap the ignore-list with more special words

GitOrigin-RevId: a7a4ab7eccbebd89994c7a9c9b169573292b1030
2022-01-07 09:03:07 +00:00
..
aceEditor Merge pull request #6235 from overleaf/jpa-spelling-client-side-ignore-list 2022-01-07 09:03:07 +00:00
aceEditor.js Merge pull request #5352 from overleaf/jpa-no-var 2021-10-27 08:03:00 +00:00
toggleSwitch.js Merge pull request #6011 from overleaf/jel-toggle-switch 2021-12-15 09:05:14 +00:00