diff make/defs.make @ 13806:0a20f43a4a78

Merge fixes.
author Christian Humer <christian.humer@gmail.com>
date Tue, 28 Jan 2014 13:36:16 +0100
parents 096c224171c4
children d8041d695d19
line wrap: on
line diff