diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2019-12-28 13:55:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-28 13:55:20 +0100 |
| commit | f6d66c0f6f1d8f1f583d9000ee0123450cce8130 (patch) | |
| tree | 74c5ca5d49c9b62508d9a68addfe45a409e9f39e /docs/dev/hello.dot | |
| parent | a52a638ba88466c587fd8afa744434711b1e4822 (diff) | |
| parent | b91e07bbf156241f6236b7e26d389e10e37553a3 (diff) | |
Merge pull request #1776 from return42/makefile-doc
doc: describe Makefile targets & add reST primer
Diffstat (limited to 'docs/dev/hello.dot')
| -rw-r--r-- | docs/dev/hello.dot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/dev/hello.dot b/docs/dev/hello.dot new file mode 100644 index 000000000..504621dfc --- /dev/null +++ b/docs/dev/hello.dot @@ -0,0 +1,3 @@ +graph G { + Hello -- World +} |