diff --git a/src/site/xdoc/index.xml b/src/site/xdoc/index.xml index 924ce9f7f..a45fd79aa 100644 --- a/src/site/xdoc/index.xml +++ b/src/site/xdoc/index.xml @@ -64,7 +64,7 @@ The Javadoc API documents are available online:
The source repository can be -browsed, and we have a mirror +browsed, and we have a mirror on GitHub.