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

Site needs building? #87

Closed
yeban opened this issue Mar 9, 2016 · 1 comment
Closed

Site needs building? #87

yeban opened this issue Mar 9, 2016 · 1 comment

Comments

@yeban
Copy link
Contributor

yeban commented Mar 9, 2016

I noticed my changes from PR #86 and #85 have not made it to the site. I was wondering if the site needs to be rebuilt or if I made some mistake in the PRs.
@yeban
Copy link
Contributor Author

yeban commented Mar 10, 2016

Works now!

@yeban yeban closed this as completed Mar 10, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yeban