comparison .hgignore @ 112:933d17f95016

new script MigratePrimeAliases to migrate is_prime_alias_X_of.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Wed, 14 Aug 2019 20:48:02 +0200
parents 74cd973f6ece
children 8d79021099a4
comparison
equal deleted inserted replaced
111:71465cead59c 112:933d17f95016