aboutsummaryrefslogtreecommitdiff
path: root/jgvariant-parent/pom.xml
diff options
context:
space:
mode:
authorMarge Bot <marge@benkard.de>2023-01-08 18:36:27 +0000
committerMarge Bot <marge@benkard.de>2023-01-08 18:36:27 +0000
commitfd6223fb43e1c5e56362c3d5bf2a467dbbd879ea (patch)
tree9f97838ef4b732ee8209a9fb763b09b8bbce20fe /jgvariant-parent/pom.xml
parent1d3c84b0ef302ff3a0e2cf5e4b172176d42fd9e6 (diff)
parent801fa52dd67f57fd780cc036df272ab5207d799d (diff)
Merge branch 'feature/better-ci' into 'master'
GitLab CI: Define cache, Maven options See merge request mulk/jgvariant!19
Diffstat (limited to 'jgvariant-parent/pom.xml')
0 files changed, 0 insertions, 0 deletions