tydeu 0655233dd2 fix: precompile mods if they want not if their importer wants ... closes leanprover/lake#83		2022-06-23 22:45:11 -04:00
..
bar	test: expand precompile example to test leanprover/lake#83	2022-06-23 22:06:15 -04:00
foo	test: expand precompile example to test leanprover/lake#83	2022-06-23 22:06:15 -04:00
clean.sh	test: expand precompile example to test leanprover/lake#83	2022-06-23 22:06:15 -04:00
test.sh	fix: precompile mods if they want not if their importer wants	2022-06-23 22:45:11 -04:00