This repository was archived by the owner on Jul 27, 2019. It is now read-only.
This repository was archived by the owner on Jul 27, 2019. It is now read-only.
Clean up branches #18
Description
We've amassed quite a few branches yet again. Since competition is ending, we should clean up the branches we don't need anymore and combine relevant information onto master.