diff options
| author |  Matthias Lucas Jaros <jarlucmat@mailbox.org> | 2025-11-27 20:25:04 +0100 |
|---|---|---|
| committer | Matthias Lucas Jaros <jarlucmat@mailbox.org> | 2025-11-27 20:25:04 +0100 |
| commit | 1e523283fb08ba9007613624ae9d89c90dc242e7 (patch) | |
| tree | 7a5b0ad0ce8eb7098ddc9a2a233f501f83392078 /Jenkinsfile | |
| parent | 90811627db393506cf3fe394135c1a2acf0a7c77 (diff) | |
Bump to next snapshot version. Make scripts more efficient by avoiding call of cat
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions