diff docs/INSTALL.linux @ 172:cd38f10532e7

merge
author meillo@marmaro.de
date Wed, 14 Jul 2010 00:55:22 +0200
parents 4762e0d26d8e
children 92340177150d
line wrap: on
line diff