mirror of
https://github.com/x1xhlol/system-prompts-and-models-of-ai-tools.git
synced 2026-01-31 06:14:18 -05:00
3 lines
64 B
JavaScript
3 lines
64 B
JavaScript
/* Alias lean4 for lean */
|
|
export { default } from './lean.mjs'
|