[JPP-Devel] SVN: [5940] plug-ins/TopologyPlugin/trunk

Revision: 5940 http://sourceforge.net/p/jump-pilot/code/5940 Author: michaudm Date: 2018-09-13 06:23:29 + (Thu, 13 Sep 2018) Log Message: --- fix a bug in CoverageCleaner Modified Paths: -- plug-ins/TopologyPlugin/trunk/build.xml plug-ins/TopologyPlu

[JPP-Devel] SVN: [5941] plug-ins/TopologyPlugin/trunk/src/fr/michaelm/jump/plugin/ topology/TopologyExtension.java

Revision: 5941 http://sourceforge.net/p/jump-pilot/code/5941 Author: michaudm Date: 2018-09-13 06:25:05 + (Thu, 13 Sep 2018) Log Message: --- increment version number in extension#getVersion Modified Paths: -- plug-ins/TopologyPlugin/trunk/src/fr/michae