Sebastian Ullrich 33ce758126 feat: assume A in --plugin A.so is package name and use it to synthesize initializer symbol name		2019-11-20 16:39:53 +01:00
..
Default.lean
Default.lean.expected.out
test_single.sh	feat: assume A in --plugin A.so is package name and use it to synthesize initializer symbol name	2019-11-20 16:39:53 +01:00