summaryrefslogtreecommitdiffstats
path: root/docs/generator/runtime.txt
diff options
context:
space:
mode:
authorJames Mills <prologic@shortcircuit.net.au>2020-05-22 04:35:09 +1000
committerGitHub <noreply@github.com>2020-05-22 04:35:09 +1000
commitc93038d7f98afe8b288fce33f7ad5b808c24eef1 (patch)
tree78a52591979518263dc28428324ab379a9492a29 /docs/generator/runtime.txt
parent3d2111b6c704de713260f82492fe6a1676f1d634 (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.txt1
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