diff Makefile @ 4:f4a440c578d4

proper overrides for publication
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 28 Jun 2013 15:55:03 +0200
parents 4cd9b65e10e4
children 48e0e2d8babd
line wrap: on
line diff