diff texts/XML/echo/de/Bernstein_1897_17-21_HQ8URX9E.xml @ 31:edf6e8fcf323 default tip

Removing DESpecs directory which deserted to git
author Klaus Thoden <kthoden@mpiwg-berlin.mpg.de>
date Wed, 29 Nov 2017 16:55:37 +0100
parents 22d6a63640c6
children
line wrap: on
line diff