commit 8344776224f83e7438167039d0bbfffe0523123c Merge: 8af8ed72b d7872b775 Author: George Kadianakis desnacked@riseup.net Date: Mon Nov 11 14:47:33 2019 +0200

Merge branch 'tor-github/pr/1504'

Doxyfile.in | 8 ++++---- doc/include.am | 1 + doc/tor-doxygen.css | 10 ++++++++++ 3 files changed, 15 insertions(+), 4 deletions(-)