diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/GettingStarted.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html index 8c59e3e..ea835b3 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -748,6 +748,8 @@ revision), you can checkout it from the '<tt>tags</tt>' directory (instead of subdirectories of the '<tt>tags</tt>' directory:</p> <ul> +<li>Release 3.1: <b>RELEASE_31/final</b></li> +<li>Release 3.0: <b>RELEASE_30/final</b></li> <li>Release 2.9: <b>RELEASE_29/final</b></li> <li>Release 2.8: <b>RELEASE_28</b></li> <li>Release 2.7: <b>RELEASE_27</b></li> |