feat: alias \dot and \cdot to \centerdot
#2813
mhuisiAnnotations
2 warnings
|
Linux
This extension consists of 1572 files, out of which 361 are JavaScript files. For performance reasons, you should bundle your extension: https://aka.ms/vscode-bundle-extension. You should also exclude unnecessary files by adding them to your .vscodeignore: https://aka.ms/vscode-vscodeignore.
|
|
Windows
This extension consists of 1572 files, out of which 361 are JavaScript files. For performance reasons, you should bundle your extension: https://aka.ms/vscode-bundle-extension. You should also exclude unnecessary files by adding them to your .vscodeignore: https://aka.ms/vscode-vscodeignore.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
vscode-lean4
Expired
|
5.46 MB |
sha256:6d2a2f937df6bfc8632c562ab2254dd508bf63b11f6e447236b4aad51f06b14b
|
|