PrincetonUniversity/compcomp — pull request #1 by robbertkrebbers (2014-10-13 19:05:15+00:00)
Title: Misc small changes

Mainly removing unused stuff.