Searched refs:setup_numbered_bot (Results 1 – 1 of 1) sorted by relevance
29 function setup_numbered_bot() { function73 setup_numbered_bot "$BOT_NAME" "$BOT_DIR"