Neuer Maintainer und Ueberarbeitung (01/2018).
-rw-r--r-- 34 .gitattributes
-rw-r--r-- 88 ChangeLog
-rw-r--r-- 89 TODO
-rw-r--r-- 10907 dsr-info
This page took 0.011904 seconds and 5 git commands to generate.