rubenwardy 2e5ced23a8 Add progress bar to zipgrep

2025-04-27 17:35:09 +01:00

..

static

Add progress bar to zipgrep

2025-04-27 17:35:09 +01:00

favicon-16.png

Add favicon

2019-06-07 16:54:33 +01:00

favicon-32.png

Add favicon

2019-06-07 16:54:33 +01:00

favicon-128.png

Add favicon

2019-06-07 16:54:33 +01:00

robots.txt

Add robots.txt to git

2022-10-19 15:08:27 +01:00