tool for grepping in bookmark files
authormirabilos <m@mirbsd.org>
Wed, 3 Oct 2018 19:08:21 +0000 (19:08 +0000)
committermirabilos <m@mirbsd.org>
Wed, 3 Oct 2018 19:08:21 +0000 (19:08 +0000)
commitd5b5169868524a752fe1a4d4ceced16d5417f522
tree52c9f51c351788dfe9f5eb8a80750e0b43cbadd9
parent00d45137f3ef6d0307e4c19606f2f4ef7daedf7a
tool for grepping in bookmark files
mksh/bmgrep [new file with mode: 0644]