diff makefile @ 171:346ff7e201f5

Applied suggestions by Boris.
author markus schnalke <meillo@marmaro.de>
date Tue, 10 Jul 2012 16:49:03 +0200
parents 5520bbde3767
children 35fc40a5011d
line wrap: on
line diff