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.

Sign up for GitHub

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

Jump to bottom

Cleanup namespaces #24

Merged
merged 2 commits into from
Aug 17, 2017
Merged

Cleanup namespaces #24

merged 2 commits into from
Aug 17, 2017

Conversation

RubenVerborgh
Copy link
Contributor

Set the base IRI, and make the file easier to read and edit by using namespaces throughout.

@dmitrizagidulin
Copy link
Member

Thanks!

@dmitrizagidulin dmitrizagidulin merged commit c2584c8 into master Aug 17, 2017
@dmitrizagidulin dmitrizagidulin deleted the fix/cleanup-namespaces branch August 17, 2017 18:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@dmitrizagidulin dmitrizagidulin

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@RubenVerborgh @dmitrizagidulin