-
Rouven Weßling authored
Also exclude jquery.highlight from the nosearch version, as it's not needed there.
384ffac2
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| _lang.js | ||
| _search.js | ||
| _toc.js |
Also exclude jquery.highlight from the nosearch version, as it's not needed there.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| _lang.js | ||
| _search.js | ||
| _toc.js |