docs/master
log
age | author | description |
---|---|---|
Tue, 10 Jul 2012 17:26:05 +0200 | markus schnalke | Various corrections and improvements. |
Tue, 10 Jul 2012 17:20:21 +0200 | markus schnalke | hgignore: This change is not related to the document itself. |
Tue, 10 Jul 2012 16:49:03 +0200 | markus schnalke | Applied suggestions by Boris. |
Tue, 10 Jul 2012 15:58:46 +0200 | markus schnalke | style: Changed indent width; changed formating of lists. |