This repository was archived by the owner on Mar 8, 2020. It is now read-only.

Repository navigation

Comment and other fixes - #176

Merged

juanjux merged 5 commits into

Feb 1, 2019

Merged

Comment and other fixes#176
juanjux merged 5 commits into
masterfrom
issue167

Commits on Jan 31, 2019
- checkpoint
  Juanjo Alvarez
  committed
  8350cc8
- Fix some corner cases for comments
  Juanjo Alvarez
  committed
  58b2fc6
- Use CommentTextTrimmed
  Juanjo Alvarez
  committed
  143f1d8
- Removed the removal of # in normal UAST
  Juanjo Alvarez
  committed
  b5e842c
Commits on Feb 1, 2019
- Feedback from review
  Juanjo Alvarez
  committed
  bfada45