set progress bar to finished, even when 0 files are grepped
commit69ea13fd7b9e2b6a943ba23a6ea342775af30805
authorMichael Stapelberg <michael@stapelberg.de>
Tue, 2 Dec 2014 08:05:11 +0000 (2 09:05 +0100)
committerMichael Stapelberg <michael@stapelberg.de>
Tue, 2 Dec 2014 08:05:11 +0000 (2 09:05 +0100)
tree9d31665668a94690bc590ef1ee2cc2d30a322dd7
parentd89da3183d1a434c2deffdc945e14b10fef6b1a8
set progress bar to finished, even when 0 files are grepped
static/instant.js