2 lines
64 B
JavaScript
2 lines
64 B
JavaScript
/* Alias lean4 for lean */
|
|
export { default } from './lean.mjs'
|
/* Alias lean4 for lean */
|
|
export { default } from './lean.mjs'
|