diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-11-09 15:17:23 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-11-09 16:42:47 -0500 |
commit | d6b49b9738783aee95c8adbb800504eebeda6324 (patch) | |
tree | e21c292333ff38d0297792b5f30e5f3de010181a /.gitlab-ci.yml | |
parent | 729b79c61b9ac979563f34118add1d6b2ebd022f (diff) | |
download | torspec-d6b49b9738783aee95c8adbb800504eebeda6324.tar.gz torspec-d6b49b9738783aee95c8adbb800504eebeda6324.zip |
build_html: use mdbook_mermaid when available.
This is much more convenient for folks who don't want to mess
with the jenga tower that is mermaid-cli.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions