runtimeverification/javamop — pull request #79 by owolabileg (2014-09-18 18:38:33+00:00)
Title: Move properties to git

With this, the properties that are used for building agents will now come from the property-db repo, instead of the old google code repo. Also, we have now fixed all but one property which had trouble parsing.

@yzhang90, @seriousamlqz Please review