diff doc/Makefile @ 3082:9211c0d8b50c

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