Bram Matthys 6dcecd7866 Update doxygen index ...

[skip ci]

2020-11-21 19:13:31 +01:00

..

Developers.md

Update doxygen index

2020-11-21 19:13:31 +01:00

Doxyfile

Set version to 5.0.7-git and start on some early release notes.

2020-09-26 14:28:41 +02:00

doxygen_custom.css

Add the extras/doxygen directory.

2019-11-27 16:53:49 +01:00

header.html

Tweak doxygen output a bit. Drop -rc2 suffix. Make more clear that this

2019-12-06 09:01:21 +01:00