add player_monoids

This commit is contained in:
Milan 2019-01-14 09:40:48 +01:00
parent 162727abeb
commit 1f9692af70
2 changed files with 4 additions and 0 deletions

1
mods/player_monoids Submodule

@ -0,0 +1 @@
Subproject commit 668bce3772954d0f93996f96d5949ae93091148a