diff INSTALL @ 3082:9211c0d8b50c

plugin manhole: fixed default value
author Goffi <goffi@goffi.org>
date Fri, 06 Dec 2019 15:19:31 +0100
parents 457ae6381e2a
children 84f6bee6440d
line wrap: on
line diff