Structure ShakeCfg

Modification history

2025-07-29 13:48

Shake/Main.lean

feat: remove (upstreamed) shake (#27632) …

Deleted ShakeCfg View on Github →

2024-01-15 00:29

Shake/Main.lean

feat: add `lake exe shake` tree shaking tool (#9346) …

Added ShakeCfg View on Github →