comparison .hgignore @ 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 90b1eda1b0a9
children
comparison
equal deleted inserted replaced
30:69b5769db3f9 31:edf6e8fcf323