Files
frappy/ci/Jenkinsfile
Georg Brandl 7465824423 ci: remove duplicate variable
Change-Id: I839ac4d9eda36082ba24c7c06df234a78798be2c
2023-02-21 12:03:36 +01:00

5.9 KiB