diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2019-12-18 18:32:42 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2019-12-18 18:32:42 +0100 |
| commit | 2b4526916dd8092191baa5b9387e8198e5072b83 (patch) | |
| tree | bfc181fa9a7d72b2ea4fd444f632b88830178533 /docs/dev/hello.dot | |
| parent | f09459b98ae877d7dfd40d85c0edf058c65913d5 (diff) | |
edoc: -- makefile.rst fix typo and add extlinks['man']
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs/dev/hello.dot')
0 files changed, 0 insertions, 0 deletions