Skip to content

Conversation

@jeff5
Copy link
Contributor

@jeff5 jeff5 commented Aug 2, 2016

Whether accidental or intended to force formatting, these tags are unnecessary, and in places, they grin through to the surface. I've found a way to make it look right in markdown.

jeff5 added 4 commits August 2, 2016 00:09
HTML tags are being used to overcome the limitations of markdown lists, but unsuccessfully. This change removes an ill-considered tag. The list doesn't indent as the author seems to intend, but at least it is readable now.
@sharwell sharwell merged commit 9cc59e1 into antlr:master Jul 20, 2017
@parrt parrt added this to the 4.0.9 milestone Nov 7, 2018
@parrt parrt added the doc label Nov 7, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants