diff options
| author | Marge Bot <marge@benkard.de> | 2023-01-08 18:36:27 +0000 |
|---|---|---|
| committer | Marge Bot <marge@benkard.de> | 2023-01-08 18:36:27 +0000 |
| commit | fd6223fb43e1c5e56362c3d5bf2a467dbbd879ea (patch) | |
| tree | 9f97838ef4b732ee8209a9fb763b09b8bbce20fe /jgvariant-tool/src | |
| parent | 1d3c84b0ef302ff3a0e2cf5e4b172176d42fd9e6 (diff) | |
| parent | 801fa52dd67f57fd780cc036df272ab5207d799d (diff) | |
Merge branch 'feature/better-ci' into 'master'
GitLab CI: Define cache, Maven options
See merge request mulk/jgvariant!19
Diffstat (limited to 'jgvariant-tool/src')
0 files changed, 0 insertions, 0 deletions