diff options
author | James Mills <prologic@shortcircuit.net.au> | 2020-05-22 04:35:09 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-22 04:35:09 +1000 |
commit | c93038d7f98afe8b288fce33f7ad5b808c24eef1 (patch) | |
tree | 78a52591979518263dc28428324ab379a9492a29 /docs/generator/runtime.txt | |
parent | 3d2111b6c704de713260f82492fe6a1676f1d634 (diff) |
Remove old docs generation tooling (#8783)
* Remove old docs generation tooling
* Remove more references to docs/generator/*
* Remove more refernece to things no longer used for docs generation
* Update contributing-documentation.md
* Update contributing-documentation.md
Co-authored-by: Joel Hans <joel.g.hans@gmail.com>
Diffstat (limited to 'docs/generator/runtime.txt')
-rw-r--r-- | docs/generator/runtime.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/generator/runtime.txt b/docs/generator/runtime.txt deleted file mode 100644 index 5a958026da..0000000000 --- a/docs/generator/runtime.txt +++ /dev/null @@ -1 +0,0 @@ -3.5 |