Merge remote branch 'nico/master'
This commit is contained in:
commit
4098c33f93
1 changed files with 1 additions and 2 deletions
|
@ -1,2 +1 @@
|
||||||
cleanup doc/ and generate manpages
|
add explorers per type/object
|
||||||
cleanup website
|
|
||||||
|
|
Loading…
Reference in a new issue