comparison .hgignore @ 192:3fdd5e191d30

fix duplicate ids.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Fri, 09 Nov 2018 15:49:12 +0100
parents 4aa8c425685d
children 02bdc92bd594
comparison
equal deleted inserted replaced
191:fb7cf0b3d775 192:3fdd5e191d30