diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-07-15 15:09:18 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-07-15 15:09:18 +0200 |
commit | 319b5179b2f588e8dd21a33cd80b6f288f96ee04 (patch) | |
tree | 112982d952b2cffd0349d198d53aa4c028260cee /developers-manual.rst | |
parent | 7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9 (diff) | |
download | docs-319b5179b2f588e8dd21a33cd80b6f288f96ee04.tar.gz docs-319b5179b2f588e8dd21a33cd80b6f288f96ee04.tar.bz2 docs-319b5179b2f588e8dd21a33cd80b6f288f96ee04.zip |
update manual
Diffstat (limited to 'developers-manual.rst')
-rw-r--r-- | developers-manual.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/developers-manual.rst b/developers-manual.rst index 2f1fbfd8..c17239e3 100644 --- a/developers-manual.rst +++ b/developers-manual.rst @@ -33,6 +33,7 @@ Developer's Manual .. contents:: Table of Contents + Fundamentals ============ |