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
|
override modified file name in pdfjs
|
2017-10-05 16:59:55 +02:00 |