Commit Graph

1 Commits

Author SHA1 Message Date
nmlgc c5e51e6cb2 [Maintenance] [th02] Properly declare lives and bombs, and their limits
Completes P0237, funded by Yanga.
2023-03-29 18:03:06 +02:00