diff options
author | Matthias Benkard <code@mulk.eu> | 2023-01-08 16:47:14 +0000 |
---|---|---|
committer | Matthias Benkard <code@mulk.eu> | 2023-01-08 16:47:14 +0000 |
commit | 801fa52dd67f57fd780cc036df272ab5207d799d (patch) | |
tree | 9f97838ef4b732ee8209a9fb763b09b8bbce20fe /jgvariant-tool/src | |
parent | 1d3c84b0ef302ff3a0e2cf5e4b172176d42fd9e6 (diff) |
GitLab CI: Define cache, Maven options.
Part-of: <https://gitlab.benkard.de/mulk/jgvariant/-/merge_requests/19>
Diffstat (limited to 'jgvariant-tool/src')
0 files changed, 0 insertions, 0 deletions