diff bin/sat @ 3082:9211c0d8b50c

plugin manhole: fixed default value
author Goffi <goffi@goffi.org>
date Fri, 06 Dec 2019 15:19:31 +0100
parents 8b36e5c3f28f
children 0b6d56a8f7e3
line wrap: on
line diff