diff --git a/get-involved.php b/get-involved.php index fc9eec0731..6bbe168bdf 100644 --- a/get-involved.php +++ b/get-involved.php @@ -54,6 +54,8 @@

Useful links for developers

lxr - an online interface to the - PHP source, providing search facilities useful for programmers and researchers - -*/ $SIDEBAR_DATA ='
diff --git a/sites.php b/sites.php index bda9964901..b582fb0860 100644 --- a/sites.php +++ b/sites.php @@ -155,7 +155,7 @@ interface to it. There you can browse the history (and latest versions) of the Checking out the source code can be done anonymously.

- Using OpenGrok is another option to view the + Using OpenGrok is another option to view the source code, and it offers additional features like search and cross referencing.