diff options
author | johannst <johannst@users.noreply.github.com> | 2022-06-25 20:04:28 +0000 |
---|---|---|
committer | johannst <johannst@users.noreply.github.com> | 2022-06-25 20:04:28 +0000 |
commit | da7708c904cc1bfa7bafc8a4bd5742cae0cecb03 (patch) | |
tree | 3ca9eee496c8de9d3b33c8b386f14552914de137 /tools | |
parent | a0689d55027c6e1e0c6f83cab0311f9afcfbcf93 (diff) | |
download | notes-da7708c904cc1bfa7bafc8a4bd5742cae0cecb03.tar.gz notes-da7708c904cc1bfa7bafc8a4bd5742cae0cecb03.zip |
deploy: a74c8fa1d5ded7978f5642209c9dd0052230164a
Diffstat (limited to 'tools')
-rw-r--r-- | tools/dot.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/dot.html b/tools/dot.html index caf5020..05f652d 100644 --- a/tools/dot.html +++ b/tools/dot.html @@ -200,6 +200,7 @@ digraph { <li><a href="https://graphviz.org/doc/info/attrs.html">Attributes</a></li> <li><a href="https://graphviz.org/doc/info/shapes.html">Node shapes</a></li> <li><a href="https://graphviz.org/doc/info/colors.html">Colors</a></li> +<li><a href="https://graphviz.org/pdf/dotguide.pdf">User manual</a></li> </ul> </main> |