beautify jenkins file #32

Merged
chacha merged 1 commits from dev into master 2023-03-28 02:05:31 +02:00

1 Commits

Author SHA1 Message Date
cclecle
0d1e981b6b beautify jenkins file 2023-03-28 01:01:10 +01:00