ltl2aut-2.0.0

Michael Westergaard

@klafbang

f491cbc0 · Update Sonar plugin to handle git · Apr 05, 2015

[maven-release-plugin]  copy for tag ltl2aut-2.0.0