diff options
author | Matthias Benkard <code@mulk.eu> | 2023-01-02 18:29:21 +0000 |
---|---|---|
committer | Matthias Benkard <code@mulk.eu> | 2023-01-02 18:29:21 +0000 |
commit | 54cd005adf7435502db56ca39eed076742b71bf6 (patch) | |
tree | a4768c599a94b403ce7d04c9b26d68a98bf2ea3a /jgvariant-core/src/main/java/eu | |
parent | 5447de25317c92fe9cdcaec7059814d05a30e681 (diff) | |
parent | dfd985063682a3479fbcbaf802f4677324708f89 (diff) |
Add GitLab CI for verification.
Merge-Request: https://gitlab.benkard.de/mulk/jgvariant/-/merge_requests/15
Diffstat (limited to 'jgvariant-core/src/main/java/eu')
0 files changed, 0 insertions, 0 deletions