3 Commits (7c3893834e7693f14e722cc4823e6277142288e9)

Author SHA1 Message Date
Jirka Sejkora c6676c6681 Allow loading the DB without loading the merge bounds. 3 years ago
Jirka Sejkora c8dc4e064d Add time output to the bot 3 years ago
Jirka Sejkora 8e94bcccb4 Add a bot for one-upping solutions from the leaderboard 3 years ago