Mercurial > hg > ismi-richfaces
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 |