Completed
Pull Request — master (#36)
by Bernhard
06:02
created

Changes

1 added class/operation
Arrow B PuliPlugin::verifyPuliVersion() added
B A PuliPlugin::activate() improved
A B PuliPlugin::printWarning() got worse
5.54
▼   -0.07
Test Coverage
84%
▶ ±0%
Head
Bernhard Schussek  
Merge 2c3156cfcc82b096ebc7ea78c5dbf6dc3c2554f7 into 0f22ff80cd5be5a8b873a050b67b9e3714ed0c5a
1 more commit
Base
Bernhard Schussek  
Merge pull request #34 from webmozart/fix-tests