From 8018375d79d74f2911c335337722a719cf87c72e Mon Sep 17 00:00:00 2001 From: Johannes Stoelp Date: Thu, 7 Jul 2022 22:22:26 +0200 Subject: [dot]: add link to online editor --- src/tools/dot.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/tools') diff --git a/src/tools/dot.md b/src/tools/dot.md index 294f05b..8267d46 100644 --- a/src/tools/dot.md +++ b/src/tools/dot.md @@ -1,6 +1,8 @@ # dot(1) -Example `dot` file to copy & paste from. +[Online playground](https://edotor.net/) + +## Example `dot` file to copy & paste from. Can be rendered to `svg` with the following command. ```bash -- cgit v1.2.3