2020-07-02 11:51:38 -04:00
|
|
|
# NOTE: changing paths may require updating them in the Makefile too.
|
2019-08-13 08:35:32 -04:00
|
|
|
node_modules
|
2018-10-30 06:03:05 -04:00
|
|
|
modules/**/scripts
|
2019-11-05 09:00:13 -05:00
|
|
|
frontend/js/vendor
|
2020-08-18 09:09:05 -04:00
|
|
|
modules/**/frontend/js/vendor
|
2021-12-07 06:30:08 -05:00
|
|
|
/public/
|
2023-04-13 04:21:25 -04:00
|
|
|
frontend/js/features/source-editor/lezer-latex/latex.mjs
|
|
|
|
|
frontend/js/features/source-editor/lezer-latex/latex.terms.mjs
|
2023-07-03 06:18:27 -04:00
|
|
|
frontend/js/features/source-editor/lezer-bibtex/bibtex.mjs
|
|
|
|
|
frontend/js/features/source-editor/lezer-bibtex/bibtex.terms.mjs
|
