Files
JiboViteDocs/node_modules/@shikijs/langs/dist/lean4.mjs

3 lines
64 B
JavaScript
Raw Normal View History

2026-05-03 12:12:57 -04:00
/* Alias lean4 for lean */
export { default } from './lean.mjs'