dev #7

Merged

chacha merged 3 commits from dev into master 2023-03-19 20:02:38 +01:00

Conversation 0 Commits 3 Files Changed 2 +16 -7

3 Commits

Author	SHA1	Message	Date
cclecle	a6c2513d9f	fix fstrings	2023-03-19 18:55:58 +00:00
cclecle	70ef90a529	fix jenkinsfile python	2023-03-19 18:53:52 +00:00
cclecle	f728842a5a	random fixes	2023-03-19 18:51:35 +00:00