tree d3dc239b0295fdd905a276601c1d6977d7ae19dd
parent f1208f4fbd9de25e6dcfabaad16d8ce3b93fa64d
author Marc Dutoo <marc.dutoo@smile.fr> 1466684263 +0200
committer Marc Dutoo <marc.dutoo@smile.fr> 1466684263 +0200

published 1.6.0 release (Eclipse 4.6 Neon)