comparison pom.xml @ 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 e5d4443a1bc5
children
comparison
equal deleted inserted replaced
189:8aff920ec7c0 190:b36a57a452a6