Skip to content

Improve formatting of dl elements - #752

Merged
hakimel merged 1 commit into
hakimel:devfrom
dspinellis:dev
Dec 10, 2013
Merged

Improve formatting of dl elements#752
hakimel merged 1 commit into
hakimel:devfrom
dspinellis:dev

Conversation

@dspinellis

Copy link
Copy Markdown
Contributor

Pull request against the dev branch of #749 per @hakimel's recommendation.

@hakimel
hakimel merged commit 1a0e7a2 into hakimel:dev Dec 10, 2013
@hakimel

hakimel commented Dec 10, 2013

Copy link
Copy Markdown
Owner

Thanks, this has been merged in.

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.

2 participants