mirror of
https://github.com/mivodev/mivodev.github.io.git
synced 2026-01-26 21:41:53 +07:00
3 lines
64 B
JavaScript
3 lines
64 B
JavaScript
/* Alias lean4 for lean */
|
|
export { default } from './lean.mjs'
|