Filipe Rodrigues cceddaaa1e Added some more data related to a currently wip function.

2021-04-19 05:09:52 +01:00

..

foreign_data.yaml

Renamed known_* to game_* and split game_data into foreign_data.

2021-04-06 18:54:12 +01:00

game_data.yaml

Added some more data related to a currently wip function.

2021-04-19 05:09:52 +01:00

game_funcs.yaml

Fixed major bug in range_disjoint.

2021-04-19 03:12:52 +01:00