diff .hgignore @ 1687:dce010b1105c

small fixes.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Mon, 26 Mar 2018 19:10:36 +0200
parents e3c6e4c0d93d
children
line wrap: on
line diff