comparison texts/archimedesOldCVSRepository/README @ 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