GitHub repository: uwrobotics/dev_tools
Created: 2020-02-20T21:49:53Z
Description: Aliases, shortcuts, catkin_tools configs, etc. Anything that's useful for software development on the uWaterloo Robotics Team!