Ben Snider 93a27ed793 Addresses #264 by enabling the download button on all devices. All devices should now be able to download files, iOS added support to Mobile Safari some time ago. 10 years ago
..
main.css 93a27ed793 Addresses #264 by enabling the download button on all devices. All devices should now be able to download files, iOS added support to Mobile Safari some time ago. 10 years ago
main.js 6855f27893 Fixed a caching-bug where it wasn't possible to return from search 10 years ago
view.js 37040c99d7 Several basicContext improvements 10 years ago