diff mxtool/.project @ 21482:2fe8729dd813

mx gate: add option to skip ideclean
author Roland Schatz <roland.schatz@oracle.com>
date Tue, 26 May 2015 10:53:19 +0200
parents 527724d26036
children
line wrap: on
line diff