diff contrib/nopushpublish.py @ 2861:54a95c333102

doc: use "hidden" instead of "invisible"
author Philippe Pepiot <phil@philpep.org>
date Tue, 29 Aug 2017 12:17:48 +0200
parents 4f5e915ddb71
children
line wrap: on
line diff