presentazione-papero/plugin/search
linux-man e3a3d3aa0a Better Search
Open/close with Control+Shift+f
Find words inside SPAN
Don't duplicate findings
2017-05-21 19:00:12 +01:00
..
search.js Better Search 2017-05-21 19:00:12 +01:00