diff src/main/webapp/imageServer/displayDigi.jsp @ 190:b36a57a452a6

new Clean UI to find non-public references and witnesses and make them public.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Fri, 09 Nov 2018 15:13:32 +0100
parents be6bc580b137
children 719475ad0923
line wrap: on
line diff