diff .hgignore @ 191:fb7cf0b3d775

render make-public button in show-non-public action.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Fri, 09 Nov 2018 15:43:39 +0100
parents 4aa8c425685d
children 02bdc92bd594
line wrap: on
line diff