Skip to content
This repository has been archived by the owner on May 31, 2021. It is now read-only.

Better anchors #182

Merged
merged 13 commits into from
Sep 29, 2017
Merged

Better anchors #182

merged 13 commits into from
Sep 29, 2017

Conversation

cdaniel
Copy link
Collaborator

@cdaniel cdaniel commented Sep 29, 2017

No description provided.

@cdaniel cdaniel merged commit eae2317 into master Sep 29, 2017
@cdaniel cdaniel deleted the better-anchros branch September 29, 2017 10:12
@cdaniel
Copy link
Collaborator Author

cdaniel commented Sep 29, 2017

Fixes #181.

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.

1 participant