Add player_monoids support (#80)

* Add `player_monoids` support (*sometimes* broken for whatever reason, see xkcd#1739)

* .
This commit is contained in:
Niklp
2024-10-20 18:24:57 +02:00
committed by GitHub
parent 00ee805ed7
commit 79416b962c
3 changed files with 34 additions and 11 deletions

View File

@ -41,4 +41,5 @@ read_globals = {
"doors",
"i3",
"xcompat",
"player_monoids"
}