summaryrefslogtreecommitdiff
path: root/lib/CheckDir.hs
diff options
context:
space:
mode:
authorstuebinm2021-12-23 20:39:21 +0000
committerstuebinm2021-12-23 20:39:21 +0000
commit89289de8887e6b796ab9f26cdb64b441b140296b (patch)
tree218c30b14c0e85ff53934b74fb1c59dd108f01ea /lib/CheckDir.hs
parent9f9d5834092d7b3ae74e30227a17d06904caf994 (diff)
parentc7edfd18a146817c319ba7686b8bc8b5fea371f8 (diff)
Merge branch 'chore/mapservice_pipeline_trigger' into 'main'
chore: add trigger for pipeline on main See merge request hub/walint!2
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions