diff .hgignore @ 167:54246f538821 public_by_author

Merge with caf1aa7684576ef3569e2de32e33927e2cb7eedc
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Wed, 30 May 2018 19:17:10 +0200
parents 4aa8c425685d
children 02bdc92bd594
line wrap: on
line diff