Skip to content

feat: public imports for environment linters inside of lake lint in module system mode#13843

Open
wkrozowski wants to merge 1 commit into
leanprover:masterfrom
wkrozowski:wojciech/envLinterPublicImport
Open

feat: public imports for environment linters inside of lake lint in module system mode#13843
wkrozowski wants to merge 1 commit into
leanprover:masterfrom
wkrozowski:wojciech/envLinterPublicImport