diff .hgignore @ 118:d275e1b99bce

remove is_autograph="no" values from XML dump.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Mon, 02 Sep 2019 18:01:06 +0200
parents 74cd973f6ece
children 8d79021099a4
line wrap: on
line diff