UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

9 lines (6 loc) 171 B
import { getConfig } from './libs/utils/dotenv.cjs' const setup = async () => { const config = getConfig() Object.assign(process.env, config) } export default setup