Some modernizations.
[redakcja.git] / scripts / bot-run.py
2021-09-10 Radek CzajkaSimple API for connecting bots.