]> git.plutz.net Git - serve0/commit
escape search string for display
authorPaul Hänsch <paul@plutz.net>
Fri, 12 Mar 2021 10:25:45 +0000 (11:25 +0100)
committerPaul Hänsch <paul@plutz.net>
Fri, 12 Mar 2021 10:25:45 +0000 (11:25 +0100)
commita75a76b164c7512effa94f370cadfc094f006a1e
tree15f1c6a4c228c87a635559b7866eac05fb8dab06
parent1cd8b8f7e99e3d18987ed17d084091e28773779f
escape search string for display
widgets.sh