tree 7b4792450895567fabb1b9318d85723c88692e7a
parent a32b01c5e360366bae2886171e4a5ff1f66d71af
author Ingo Weigelt <iw@wglt.de> 1525012928 +0200
committer Ingo Weigelt <iw@wglt.de> 1525012928 +0200

UI: Configure SpecificationWebPrintAction

UI-Options to control whether Links should be exported