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

Issue68 #69

Merged
merged 4 commits into from Jul 15, 2016
Merged

Issue68 #69

merged 4 commits into from Jul 15, 2016

Conversation

greenTara
Copy link
Collaborator

No description provided.

@lisp
Copy link
Collaborator

lisp commented Jun 10, 2016

i may be lagging behind in notifications, but

rsp-mm -> rsp

?

@greenTara
Copy link
Collaborator Author

I have responded to the comment above and made the change in the namespace and prefix. Would a reviewer please check and merge (or comment) on this pull request now?

@jpcik jpcik merged commit e41b3d7 into streamreasoning:gh-pages Jul 15, 2016
@jpcik
Copy link
Contributor

jpcik commented Jul 15, 2016

seems to me that the terminology and prefix changes are alright

@greenTara
Copy link
Collaborator Author

The merge of this pull request closes issue #68

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

3 participants