Commit the man pages and make aggregate public again

This commit is contained in:
2018-07-25 21:38:48 +02:00
parent 51f152cca4
commit 052d6edc75
41 changed files with 1659 additions and 5 deletions

2
src/.gitignore vendored Normal file
View File

@@ -0,0 +1,2 @@
ROBITools.so
*.o