Small improvements #44

Merged

muellerr merged 2 commits from smaller-improvements into main

2023-12-01 18:33:46 +01:00

Author	SHA1	Message	Date
Robin Mueller	60a00bae99	README update All checks were successful Rust/spacepackets/pipeline/head This commit looks good Details	2023-12-01 17:21:36 +01:00
Robin Mueller	7a8c3784f5	improve coverage python script	2023-12-01 17:19:58 +01:00