feat: add allowImportAll lakefile option#119

fgdorais merged 1 commit into

mainfgdorais/lean4-parser:mainfrom

allow-import-allfgdorais/lean4-parser:allow-import-allCopy head branch name to clipboard