diff options
| author | Jack Lloyd <[email protected]> | 2017-12-04 04:13:55 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-12-04 04:13:55 -0500 |
| commit | 71d82507bf6c8aa928108d2f45c7b4afcbaa0fa3 (patch) | |
| tree | 24f3226beceacad5f287a8c24a7da58835cd293b /doc/manual/contents.rst | |
| parent | 57128566bd57649f7d3a128944e3bde66d415309 (diff) | |
Documentation tweaks
Diffstat (limited to 'doc/manual/contents.rst')
| -rw-r--r-- | doc/manual/contents.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/contents.rst b/doc/manual/contents.rst index d4e06f82d..941bf014e 100644 --- a/doc/manual/contents.rst +++ b/doc/manual/contents.rst @@ -6,6 +6,7 @@ Contents index goals + support building platforms versions @@ -41,4 +42,4 @@ Contents side_channels packaging fuzzing - support + |