Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pr/205 #208

Merged
merged 2 commits into from Dec 12, 2013
Merged

Pr/205 #208

merged 2 commits into from Dec 12, 2013

Conversation

ajs6f
Copy link
Contributor

@ajs6f ajs6f commented Dec 12, 2013

No description provided.

cbeer and others added 2 commits December 11, 2013 13:35
…dd additional triples, and look up the default workspace from the repository configuration
ajs6f added a commit that referenced this pull request Dec 12, 2013
@ajs6f ajs6f merged commit decb6f2 into master Dec 12, 2013
@ajs6f ajs6f deleted the pr/205 branch December 12, 2013 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants