b8f6f5db8d
The reason is that dummy links like <a href="#"> cause the built-in tooltip pop up on hover which is just useless noise |
||
---|---|---|
.. | ||
events.js | ||
filters.js | ||
import-export.js | ||
incremental-search.js | ||
manage.css | ||
manage.js | ||
render.js | ||
sorter.js | ||
updater-ui.js |