Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Revert last contribs from sara #125
These changes were never finished so I will revert them so that the repo's HEAD is put back into a good state (as it was used for manufacturing of the last batches back in 2013).
Sara's commits will remain in the git history though. Those were experimental things we were working on back then.