comparison make/openjdk_distro @ 15420:5947bb02474f

mx export: change the way of marking a repo as dirty
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 28 Apr 2014 17:22:45 +0200
parents c18cbe5936b8
children
comparison
equal deleted inserted replaced
15419:f093fa76e872 15420:5947bb02474f