fixing format issue and adding -rm parameter for excutring random moves on bots each ms #112

Closed
moeelbadri wants to merge 2 commits from main into main
pull from: main
moeelbadri commented 2025-08-18 22:44:29 +00:00 (Migrated from github.com)
No description provided.

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.