diff make/build.sh @ 15328:d89ed48ae349

mx: use generators
author Bernhard Urban <bernhard.urban@jku.at>
date Wed, 23 Apr 2014 17:02:12 +0200
parents bab5cbf74b5f
children
line wrap: on
line diff