This commit is contained in:
2
node_modules/@shikijs/langs/dist/lean4.mjs
generated
vendored
2
node_modules/@shikijs/langs/dist/lean4.mjs
generated
vendored
@@ -1,2 +0,0 @@
|
||||
/* Alias lean4 for lean */
|
||||
export { default } from './lean.mjs'
|
||||
Reference in New Issue
Block a user