3 Commits

Author	SHA1	Message	Date
Niklp	af87d6278c	Add player_monoids support (#15)	2023-10-07 11:23:18 +02:00
Joachim Stolberg	a89582368a	PR #5: Use mod.conf for dependencies and description	2019-10-20 19:13:51 +02:00
Joachim Stolberg	28e046e86b	issue #1 (mod.conf added)	2017-06-12 20:03:30 +02:00