diff options
Diffstat (limited to 'docs/manual/download-infra.txt')
| -rw-r--r-- | docs/manual/download-infra.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/manual/download-infra.txt b/docs/manual/download-infra.txt new file mode 100644 index 000000000..63908adad --- /dev/null +++ b/docs/manual/download-infra.txt @@ -0,0 +1,8 @@ +// -*- mode:doc -*- ; + +[[download-infra]] + +Download infrastructure +----------------------- + +TODO |