Repository navigation

Added grammar of comments - #85

Merged

steveklabnik merged 5 commits into

rust-lang:masterfrom

brauliobz:grammar_pull_request

Aug 14, 2017

Commits on Jul 21, 2017
- Added grammar of comments
  brauliobz
  committed
  586e630
Commits on Jul 22, 2017
- Adjusted comments' grammar to account for special cases
  brauliobz
  committed
  b272259
- Corrected the INNER_{LINE|BLOCK}_DOC tokens' names to keep them coherent
  brauliobz
  committed
  c623f98
Commits on Jul 24, 2017
- Added example of top-level doc comment
  brauliobz
  committed
  d562d9d
Commits on Aug 7, 2017
- Isolated CRs are not allowed in doc comments
  brauliobz
  committed
  cd80d1f