Christian Grothoff ff35a1d229

deduplicate doxyfiles, integrate with build

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

..

doxygen

deduplicate doxyfiles, integrate with build

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

logos

del

2019-04-24 19:28:31 +02:00

paper

FIXMEs in the paper.

2018-05-25 19:04:40 +02:00

prebuilt @ 934a6a1830

more work towards DB versioning

2020-01-17 01:55:01 +01:00

.gitignore

update ignore file

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

Makefile.am

deduplicate doxyfiles, integrate with build

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