Alexandre Abadie 5837075150

tools/doccheck: optimize display of undefined groups ...

The printed variable is not computed if no undefined group is found

2019-08-07 10:33:03 +02:00

..

check.sh

tools/doccheck: optimize display of undefined groups

2019-08-07 10:33:03 +02:00