Inverted counters with proper default values#691

Merged

jiquiame merged 2 commits intomasterfrom

inverted_counters_with_proper_default_values

Mar 28, 2024

Commits on Mar 28, 2024

Done: add proper default value to counters, to do: check that is solves: #685 and #687; also check json export of stories

Jérôme FERET
authored and
jiquiame
committed
Small changes for clarity + dune fmt
jiquiame
committed