1773238283
This commit is contained in:
@@ -15,6 +15,7 @@
|
|||||||
"vue"
|
"vue"
|
||||||
"latex"
|
"latex"
|
||||||
"mermaid"
|
"mermaid"
|
||||||
|
"lean4"
|
||||||
];
|
];
|
||||||
|
|
||||||
userSettings = {
|
userSettings = {
|
||||||
|
|||||||
Reference in New Issue
Block a user