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

fix iri to iri-reference and add further instructions #1271

Merged
merged 1 commit into from Nov 10, 2021

Conversation

egekorkan
Copy link
Contributor

did not run npm run render but can be reflected in the index.html in someone's next PR.

did not run `npm run render` but can be reflected in the index.html in someone's next PR.
@sebastiankb
Copy link
Contributor

from today's TD call, decided to merge

@sebastiankb sebastiankb merged commit 815fc8e into main Nov 10, 2021
takuki added a commit to takuki/wot-thing-description that referenced this pull request Jan 30, 2022
egekorkan pushed a commit to egekorkan/wot-thing-description that referenced this pull request Feb 3, 2022
@egekorkan egekorkan deleted the fix-iri-reference branch February 16, 2022 15:18
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