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

[asn@xxxxxxxxxxxxxx]

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

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits