Use player_monoids API if available (#2)

This commit is contained in:
fluxionary
2019-09-10 19:57:44 +00:00
committed by SmallJoker
parent cd166a7549
commit 26e9a32006
3 changed files with 47 additions and 25 deletions

1
.gitignore vendored Normal file
View File

@ -0,0 +1 @@
.idea/