diff src/main/webapp/imageServer/resources/js/jquery-ui-1.10.4/MANIFEST @ 203:719475ad0923 iiif_diva

more work on new diva.js in imageServer
author casties
date Fri, 05 Jul 2019 16:05:57 +0200
parents 764f47286679
children
line wrap: on
line diff