Commit Graph

3 Commits

Author SHA1 Message Date
Abdelrahman Mahmoud 15bb566636 Remove a bunch of things that I don't think we need 2018-02-23 14:17:56 -05:00
Abdelrahman Mahmoud c5398fd473 Work around the fact that the sourceforge https certificate is not valid 2018-02-23 12:19:02 -05:00
Umang Mehta 381df4a9af Updating the README and adding the docker directory 2017-11-22 16:04:05 -05:00