Volker Ruppert 994fdbae82 Some cleanups in in the user documentation and the code (obsolete stuff).

2017-03-23 19:09:37 +00:00

..

docbook

Some cleanups in in the user documentation and the code (obsolete stuff).

2017-03-23 19:09:37 +00:00

man

Some release preparations:

2017-03-21 20:12:07 +00:00