Commit Graph

5 Commits

Author SHA1 Message Date
tenplus1
ad3a575257
Add support for Pova mod (#5) 2023-07-28 21:01:55 +02:00
David Leal
7aad47076e
Remove default as a dependency (#4)
"default" is no longer directly used by this mod.
2023-07-26 21:48:48 +02:00
David Leal
b51cd0326c Use mod.conf for dependencies, and description (#3) 2019-10-17 21:13:46 +02:00
fluxionary
26e9a32006 Use player_monoids API if available (#2) 2019-09-10 21:57:44 +02:00
Auke Kok
cd166a7549 Initial checkin 2016-05-27 23:10:48 -07:00