diff Plugin/PermissionParser.h @ 112:572955904411

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