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-11-05 05:06:39 -05: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
|
2019-11-05 09:00:13 -05:00
|
|
|
public/js
|
2018-11-05 05:06:39 -05:00
|
|
|
public/minjs
|
2021-04-14 09:17:21 -04:00
|
|
|
frontend/stylesheets/components/nvd3.less
|
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
|
