Skip to content

Margin label#42

Open
joranE wants to merge 7 commits intohadley:masterfrom
joranE:margin_label
Open

Margin label#42
joranE wants to merge 7 commits intohadley:masterfrom
joranE:margin_label

Conversation

@joranE
Copy link

@joranE joranE commented Apr 2, 2014

Adds ability to set the margin label to something other than "(all)". It's a minor thing, but it's something I've wished for for a while.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant