tree 399b3ad9b5dd2c19ea9d9da9b3663f1e0761d273
parent bb0931ece458a3a98e848a1ad438b0863c49e97c
author Jan Kundrát <jan.kundrat@cesnet.cz> 1675291574 +0100
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1675291574 +0100

CI: use system docopt-cpp

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