[tor-commits] [tor/master] Merge branch 'tor-github/pr/1504'

[asn at torproject.org]

commit 8344776224f83e7438167039d0bbfffe0523123c
Merge: 8af8ed72b d7872b775
Author: George Kadianakis <desnacked at 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(-)