1 added class/operation | |||
B | PuliPlugin::verifyPuliVersion() added | ||
B | ↗ | A | PuliPlugin::activate() improved |
A | ↘ | B | PuliPlugin::printWarning() got worse |
Head |
Bernhard Schussek
Merge pull request #36 from webmozart/fix
|
---|---|
⋮ | 1 more commit |
Base |
Bernhard Schussek
Merge pull request #34 from webmozart/fix-tests
|