docs/master

diff makefile @ 165:ea6eec1722d1

Improvement by Boris Kraut.
author markus schnalke <meillo@marmaro.de>
date Tue, 10 Jul 2012 00:03:31 +0200
parents db199d51d5b0
children 35fc40a5011d
line diff