fix for 69793: check in new files for QuickSearch
patch contributed by franke@ags.uni-sb.de (Andreas Franke)
Now add quicksearch functionality to the main index page.
Showing
localconfig.js
0 → 100644
quicksearch.html
0 → 100644
quicksearch.js
0 → 100644
quicksearchhack.html
0 → 100644
Please
register
or
sign in
to comment