This repository has been archived on 2024-01-30. You can view files and clone it, but cannot push or open issues or pull requests.

Lili 0d55bedc70 add missing documentation

2021-05-28 12:09:46 +02:00

..

adaptive_game.py

remove doc linebreaks

2021-03-30 13:42:44 +02:00

flag_checker.py

add missing documentation

2021-05-28 12:09:46 +02:00

hint_giver.py

small changes

2021-03-30 16:31:24 +02:00

level_selector.py

remove wrong comment

2021-03-30 19:07:59 +02:00