Juraj Vajda
|
2ec21050ad
|
improve type checking
|
2022-10-12 21:13:06 -04:00 |
|
|
Juraj Vajda
|
62c39d1145
|
add player_monoids support
|
2022-10-05 21:26:43 -04:00 |
|
Juraj Vajda
|
bf9a0734a1
|
Add "default" to optional dependencies, update screenshot
|
2021-03-28 11:50:59 -04:00 |
|
|
Juraj Vajda
|
f5b8efc5be
|
mod.conf update
|
2021-03-20 14:40:41 -04:00 |
|
|
Juraj Vajda
|
d9171a4003
|
mod docs update
|
2021-03-14 10:19:45 -04:00 |
|
|
Juraj Vajda
|
cddefb27c0
|
v 1.0.0
|
2021-03-13 21:39:42 -05:00 |
|
|
Juraj Vajda
|
28a3bb0661
|
initial commit
|
2021-03-01 13:44:27 -05:00 |
|