Merge branch 'tor-gitlab/mr/585'

This commit is contained in:
David Goulet 2022-10-26 15:30:59 -04:00
commit 5f548f05d2

View File

@ -56,10 +56,10 @@ EXTRA_DIST+= doc/asciidoc-helper.sh \
doc/HACKING/HelpfulTools.md \ doc/HACKING/HelpfulTools.md \
doc/HACKING/HowToReview.md \ doc/HACKING/HowToReview.md \
doc/HACKING/Module.md \ doc/HACKING/Module.md \
doc/HACKING/ReleasingTor.md \ doc/HACKING/ReleasingTor.md \
doc/HACKING/WritingTests.md doc/HACKING/WritingTests.md \
doc/HACKING/tracing/Tracing.md \ doc/HACKING/tracing/EventsCircuit.md \
doc/HACKING/tracing/EventsCircuit.md doc/HACKING/tracing/README.md
docdir = @docdir@ docdir = @docdir@