Code

Update CODING_STANDARD.md#1959

Code

Closed

majakusber wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

majakusber:patch-1majakusber/cbmc:patch-1Copy head branch name to clipboard

Commits

Commits on Mar 22, 2018

• Update CODING_STANDARD.md

  

  svorenova

  authored
  3495f45

  Copy full SHA for 3495f45

Commits on Mar 23, 2018

• Update CODING_STANDARD.md

  

  svorenova

  authored
  39e501f

  Copy full SHA for 39e501f