diff docs/readme.txt @ 122:8d79021099a4

XML dump with new ismi-date element.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Sun, 29 Jan 2023 19:43:02 +0100
parents 1e4835334837
children
line wrap: on
line diff