whitespace change, do not merge #1025

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
2 participants
@shaneknapp
Contributor

shaneknapp commented Apr 28, 2016

testing the reference repo

@AmplabJenkins

This comment has been minimized.

Show comment
Hide comment
@AmplabJenkins

AmplabJenkins Apr 28, 2016

Test PASSed.
Refer to this link for build results (access rights to CI server needed):
https://amplab.cs.berkeley.edu/jenkins//job/ADAM-prb/1221/
Test PASSed.

Test PASSed.
Refer to this link for build results (access rights to CI server needed):
https://amplab.cs.berkeley.edu/jenkins//job/ADAM-prb/1221/
Test PASSed.

@shaneknapp

This comment has been minimized.

Show comment
Hide comment
@shaneknapp

shaneknapp Apr 28, 2016

Contributor

closing, as again, magic just works sometimes.

Contributor

shaneknapp commented Apr 28, 2016

closing, as again, magic just works sometimes.

@shaneknapp shaneknapp closed this Apr 28, 2016

@shaneknapp shaneknapp deleted the shaneknapp:testing_reference_repo branch Apr 28, 2016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment