comparison texts/XML/archimedes/fr/merse_prelu_034_fr_1634.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
comparison
equal deleted inserted replaced
30:69b5769db3f9 31:edf6e8fcf323