comparison pom.xml @ 127:3e772f7f43e0 default tip

ismi-date with long month names in xml dump.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Thu, 11 May 2023 18:15:45 +0200
parents ba3742584f93
children
comparison
equal deleted inserted replaced
126:7d1e61a6d91b 127:3e772f7f43e0