add debian

This commit is contained in:
Mario Fetka
2017-04-22 13:14:00 +02:00
parent cb7cb3e85c
commit 1807a54369
9 changed files with 9809 additions and 0 deletions

2
debian/docs vendored Normal file
View File

@@ -0,0 +1,2 @@
debian/user_guide.pdf
debian/README