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

2018-09-13 Thread jump-pilot-svn--- via Jump-pilot-devel
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: --

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

2018-09-13 Thread jump-pilot-svn--- via Jump-pilot-devel
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