make pdf manual available in git
Stefan Schuermans

Stefan Schuermans commited on 2012-06-23 15:30:44
Showing 2 changed files, with 0 additions and 1 deletions.

... ...
@@ -1,5 +1,4 @@
1 1
 *.aux
2 2
 *.dvi
3 3
 *.log
4
-*.pdf
5 4
 *.ps