mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Mostly just so we don't get the History closed when erroneously tapping on a deleted file.
Mostly just so we don't get the History closed when erroneously tapping on a deleted file.