We now use DuckDuckGo's site: operator to do on-site searching so there is no reason to improve our own CGI scripts. |
||
---|---|---|
.. | ||
current.xml | ||
doc-set.xml | ||
docproj.xml | ||
handbook.xml | ||
handbook3.xml | ||
Makefile | ||
submitting.xml | ||
translations.xml | ||
who.xml |
We now use DuckDuckGo's site: operator to do on-site searching so there is no reason to improve our own CGI scripts. |
||
---|---|---|
.. | ||
current.xml | ||
doc-set.xml | ||
docproj.xml | ||
handbook.xml | ||
handbook3.xml | ||
Makefile | ||
submitting.xml | ||
translations.xml | ||
who.xml |