diff make/defs.make @ 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 4ca6dc0799b6
children 0583d157992a
line wrap: on
line diff