diff options
author | 2018-09-28 11:19:43 -0400 | |
---|---|---|
committer | 2018-09-28 11:19:43 -0400 | |
commit | e663fe60d3273d9dee0d12b92b2db9cde19cdb53 (patch) | |
tree | 5e5fdb0402f3bea0c0dfc0b4b04e8a25fcd0dec9 /doc | |
parent | 26ebe62a55c1d38b7f3a25714c037de332418c17 (diff) |
Updated for 10.1.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/index.html b/doc/index.html index 2bccebd7..1424dfe3 100644 --- a/doc/index.html +++ b/doc/index.html @@ -55,7 +55,7 @@ <div id="left"> <a id="download"></a> - <h2>Download (v10.0)</h2> + <h2>Download (v10.1)</h2> <a href="feed"> <img src="images/feed.png" style="float: right; margin: 0.25em;" alt="Atom" /> |