Rename markdown math extension to notebook-markdown-extensions

We will use this to experiment with different types of extensions, not just math
This commit is contained in:
Matt Bierner
2021-02-22 16:07:36 -08:00
parent 6a6b9a5cc8
commit 6a9f8ac758
12 changed files with 3 additions and 3 deletions

View File

@@ -87,7 +87,7 @@ module.exports.indentationFilter = [
'!**/*.dockerfile',
'!extensions/markdown-language-features/media/*.js',
'!extensions/markdown-language-features/notebook-out/*.js',
'!extensions/markdown-notebook-math/notebook-out/*.js',
'!extensions/notebook-markdown-extensions/notebook-out/*.js',
'!extensions/simple-browser/media/*.js',
];