Code

Fix comment formatting bugs#307

Code

Merged

whonore merged 4 commits intomasterwhonore/Coqtail:masterfrom format-commentswhonore/Coqtail:format-commentsCopy head branch name to clipboardSep 16, 2022

+36-1

Commits

Commits on Sep 16, 2022

• Add tests

  whonore

  committed
  6144b72

  Copy full SHA for 6144b72

• Remove 'n' flag from ending part of comments

  Show description for c9afceb
  whonore

  committed
  c9afceb

  Copy full SHA for c9afceb

• Update changelog

  whonore

  committed
  bbd3f68

  Copy full SHA for bbd3f68

• Tweak wording

  whonore

  committed
  71649d7

  Copy full SHA for 71649d7