Code

Prevent recognising lines by prefix#426

Code

Merged

peterschrammel merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

NathanJPhillips:bugfix/linter-line-number-recognitionNathanJPhillips/cbmc:bugfix/linter-line-number-recognitionCopy head branch name to clipboard

Jan 12, 2017

Commits

Commits on Jan 12, 2017

• Prevent recognising lines by prefix

  Show description for 12561ba
  NathanJPhillips

  committed
  12561ba

  Copy full SHA for 12561ba