images
|
reduce png sizes
|
2017-07-31 15:11:35 +02:00 |
locale
|
Modifications for latest media-tag
|
2017-07-12 10:44:40 +02:00 |
viewer.css
|
Modifications for latest media-tag
|
2017-07-12 10:44:40 +02:00 |
viewer.html
|
Modifications for latest media-tag
|
2017-07-12 10:44:40 +02:00 |
viewer.js
|
infer pdfjs document title from iframe url
|
2017-08-17 17:30:28 +02:00 |