2025-08-04 18:41:00 -04:00

3 lines
64 B
JavaScript

/* Alias lean4 for lean */
export { default } from './lean.mjs'