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

Editorial tweaking and cleaning #47

Merged
merged 1 commit into from
Jun 16, 2017
Merged

Editorial tweaking and cleaning #47

merged 1 commit into from
Jun 16, 2017

Conversation

chaals
Copy link
Collaborator

@chaals chaals commented Jun 15, 2017

No description provided.

@danbri danbri merged commit 4e94d32 into gh-pages Jun 16, 2017
@chaals chaals deleted the editorial-cleanups branch June 17, 2017 16:29
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