enable coverage config_file usage (hopefully .toml) #12

Merged
chacha merged 1 commits from dev into master 2023-11-06 11:55:11 +01:00

1 Commits

Author SHA1 Message Date
cclecle
0594c29334 enable coverage config_file usage (hopefully .toml) 2023-11-06 10:51:39 +00:00