purduesigbots/pros

Make develop-pros-4 "develop" and deprecate develop as "develop-pros-3"

Closed this issue · 1 comments

WillXuCodes commented

This was done in the transition from PROS 2 to 3, we need to do this for PROS 3 to 4.

WillXuCodes commented

Guess this is done