diff options
| -rw-r--r-- | docs/GettingStarted.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html index ed7f3ac834..518572c1b5 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -692,7 +692,7 @@ revision), you can specify a label. The following releases have the following labels:</p> <ul> -<li>Release 1.9: <b>RELEASE_19</b></li>D +<li>Release 1.9: <b>RELEASE_19</b></li> <li>Release 1.8: <b>RELEASE_18</b></li> <li>Release 1.7: <b>RELEASE_17</b></li> <li>Release 1.6: <b>RELEASE_16</b></li> |