docs/master

diff makefile @ 171:346ff7e201f5

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