aboutsummaryrefslogtreecommitdiff
path: root/docs/cmdline-opts
diff options
context:
space:
mode:
authorMarc Hoersken <info@marc-hoersken.de>2020-04-26 19:24:11 +0200
committerMarc Hoersken <info@marc-hoersken.de>2020-04-26 19:24:11 +0200
commitcca20cb00e0d0c06b27814a881b195a51d91de87 (patch)
tree214ef01627629657a2861bb56edf27b84eb69bcc /docs/cmdline-opts
parent2fc1c9d7e71e8f5c394eff774f4b1ef296e7ed52 (diff)
CI: do not include */ci branches in PR builds
Align Azure Pipelines with GitHub Actions.
Diffstat (limited to 'docs/cmdline-opts')
0 files changed, 0 insertions, 0 deletions