diff make/defs.make @ 15381:ed7234f0168f

Finish the changes from ad3441f45118
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 24 Apr 2014 17:31:54 +0200
parents 4ca6dc0799b6
children 0583d157992a
line wrap: on
line diff