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