Christian Grothoff 871e6bd1e1

remove old logo

2020-04-20 20:25:32 +02:00

..

doxygen

deduplicate doxyfiles, integrate with build

2020-01-18 23:19:48 +01:00

paper

option -i was removed

2020-03-19 15:48:50 +01:00

prebuilt @ eef86710c7

update man

2020-03-22 12:06:13 +01:00

.gitignore

update ignore file

2017-04-10 17:21:04 +02:00

Makefile.am

completing auditor split

2020-03-21 16:09:22 +01:00