Skip to content
This repository has been archived by the owner on Jan 25, 2019. It is now read-only.

Prune and rename help-resource page. #33

Merged
merged 2 commits into from Jun 4, 2013
Merged

Conversation

tobie
Copy link
Member

@tobie tobie commented Jun 4, 2013

No description provided.

jgraham added a commit that referenced this pull request Jun 4, 2013
Prune and rename help-resource page.
@jgraham jgraham merged commit 798897e into w3c:gh-pages Jun 4, 2013
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants