diff options
| author |  Matthias Lucas Jaros <jarlucmat@mailbox.org> | 2025-10-27 10:27:47 +0100 |
|---|---|---|
| committer | Matthias Lucas Jaros <jarlucmat@mailbox.org> | 2025-10-27 10:27:47 +0100 |
| commit | f89d943fc55e7d9bf4fd197fa0e2cb6500952ce4 (patch) | |
| tree | fd2d6c9a56eb8695d4be34b434a4dd35bac1abd4 /Jenkinsfile | |
| parent | a3696ceb9b8158d6ea2fe41d5d27f415e219e887 (diff) | |
Added banner and renamed run script to git-run
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions