Sebastian Ullrich f94d7b333a fix: do not export private instances (#9407) ... Fixes #9383		2025-07-16 18:59:48 +00:00
..
Module	fix: do not export private instances (#9407)	2025-07-16 18:59:48 +00:00
lakefile.toml	feat: move non-essential metadata into .olean.server (#8068)	2025-04-24 08:12:26 +00:00
lean-toolchain	feat: move non-essential metadata into .olean.server (#8068)	2025-04-24 08:12:26 +00:00
Module.lean	feat: make private the default in module (#9044)	2025-06-28 16:30:53 +00:00
test.sh	feat: move non-essential metadata into .olean.server (#8068)	2025-04-24 08:12:26 +00:00