diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2023-03-24 10:50:52 +0100 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2023-03-24 10:50:52 +0100 |
commit | d979a7a028bfc543ef4d2d524b541db2ec4849c9 (patch) | |
tree | 59131799766af91fc2b1a2e4a12408176471c5ca /core/pom.xml | |
parent | 7ef7c392934e8c5d2f570c7013057cd28b823c4f (diff) | |
parent | 222c8e602441c86b68d3c0f35604eb07f47fd8ea (diff) |
Merge remote-tracking branch 'github/master'
Change-Id: Ic4c0780eb99cd2528ab04cd9610f66f00daca964
Diffstat (limited to 'core/pom.xml')
0 files changed, 0 insertions, 0 deletions