Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
changes for port and build path in Docker instructions #148 #149
+4
−4
Conversation
florinb
and others
added some commits
Nov 11, 2016
alistairewj
merged commit 0060613
into MIT-LCP:master
Apr 14, 2017
1 check was pending
continuous-integration/travis-ci/pr
The Travis CI build is in progress
Details
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
florinb commentedNov 11, 2016