Skip to content
This repository was archived by the owner on Jun 20, 2023. It is now read-only.

cleanup compass #2486

Merged
merged 3 commits into from
Jul 7, 2016
Merged

cleanup compass #2486

merged 3 commits into from
Jul 7, 2016

Conversation

xi
Copy link
Collaborator

@xi xi commented Jul 6, 2016

Some small cleanups after #2482.

@der-john
Copy link

der-john commented Jul 7, 2016

nice.

@der-john der-john merged commit 8fe251f into master Jul 7, 2016
@joka joka deleted the 2016-07-tb-cleanup-compass branch April 12, 2018 11:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants