Allows more granular config for an existing installation of Lake/Lean/REPL - #14
Closed
vadimkantorov wants to merge 4 commits into
Closed
Allows more granular config for an existing installation of Lake/Lean/REPL#14vadimkantorov wants to merge 4 commits into
vadimkantorov wants to merge 4 commits into
Commits
Commits on Apr 30, 2025
- committed
- committed
- committed
- committed
