Gabor Hojtsy 9bd0cc6639 Change default URL shortcut search fallback type to be ...

the function list search (so users won't get redirected to
google). Also provide the option to force the site to redirect
to do a documentation seach (on google currently) in case
a user is used to this

2003-07-29 11:35:24 +00:00

..

index.php

Change default URL shortcut search fallback type to be

2003-07-29 11:35:24 +00:00