a GUI grep tool for Windows
Stars
6
Forks
0
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
33
commits
yet another year
67fefb3
update romato
d3974cb
bump version
73be50e
update URL for PCRE license again due to renaming of master/main branch
fd7ef63
align LICENSE with github's detection scheme
ccc993e
prefer using over typedef
bf4d787
update screenshot
955aa54
e3df2b3
delint build script
c8a63ba
update URL for PCRE license
79367e5
update bld.py
3f7a494
no more need for pcre2_jit_compile.c
d245c29
simplify file name transfer
4202865
adapt to scons_msvc_env
d79e1b8
don't save window position when minimized
8d18955