tree b6ef3cb4abfb94f3374146942a366cafbff459c9
parent 489d5b27f21b170f7b69925dd9b09d7d4cc48aad
author Jan Kundrát <jan.kundrat@cesnet.cz> 1675290814 +0100
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1675290814 +0100

CI: use system docopt-cpp

Change-Id: Ib246d39f975c00bc6489f683f1f21f34cc808201
Depend-on: https://gerrit.cesnet.cz/c/CzechLight/dependencies/+/6009