diff Plugin/DefaultConfiguration.json @ 112:572955904411

added tools/labels + removed forbidden_labels
author Alain Mazy <am@osimis.io>
date Thu, 31 Aug 2023 16:51:15 +0200
parents 760fd9ad7007
children 0eed78c1e177
line wrap: on
line diff