diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-01-29 20:06:39 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-01-29 20:06:39 +0100 |
commit | 500092ae11c78e7c2520d63a894224fd3f4554be (patch) | |
tree | 2af9d23678f4240a96e40d66f4bad530718777dc /example-merge-patch.config.xml | |
parent | Remove merge script (diff) | |
download | gitmirror-500092ae11c78e7c2520d63a894224fd3f4554be.tar.gz gitmirror-500092ae11c78e7c2520d63a894224fd3f4554be.tar.zst gitmirror-500092ae11c78e7c2520d63a894224fd3f4554be.zip |
Rework for better integration with Jenkins
Diffstat (limited to 'example-merge-patch.config.xml')
0 files changed, 0 insertions, 0 deletions