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(-)