mirror of https://github.com/koreader/koreader
History: avoid opening non-existent files
Mostly just so we don't get the History closed when erroneously tapping on a deleted file.pull/7322/head
parent
fe10d0bce5
commit
d63d282806
Loading…
Reference in New Issue