Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add dashed borders in foldable orientation #3216

merged 1 commit into from Jan 24, 2018


Copy link

@mic4ael mic4ael commented Jan 23, 2018

No description provided.

Copy link

Changelog entry please.

- Add folding indicators when printing foldable badges (:issue:`3216`)

Copy link
Member Author

mic4ael commented Jan 23, 2018

Sorry for that. Completely forgot about it ;)

@mic4ael mic4ael force-pushed the badge-printing branch 4 times, most recently from 727c1be to 1534807 Compare January 24, 2018 13:18
@ThiefMaster ThiefMaster merged commit ba20c87 into indico:2.0-maintenance Jan 24, 2018
@mic4ael mic4ael deleted the badge-printing branch January 24, 2018 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
None yet

Successfully merging this pull request may close these issues.

None yet

2 participants