descriptionUnnamed repository; edit this file to name it for gitweb.
last changeSat, 13 Oct 2012 18:32:36 +0000 (20:32 +0200)
shortlog
2012-10-13 Alexander Sackgoing back to ppl-0.12 master
2012-10-13 Alexander Sackppl-1.0
heads
11 years ago master