Commit graph

1 commit

Author SHA1 Message Date
Mattias Andrée
87232a4c38 dev/dist.sh ttyponies is used instead of make -B ttyponies + same for make pdfmanual 2012-08-26 18:04:35 +02:00