Code

Contributing section in readme#1270

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:contribute-readmepeterschrammel/cbmc:contribute-readmeCopy head branch name to clipboard

Aug 22, 2017

Commits

Commits on Aug 22, 2017

• Contributing section in readme

  peterschrammel

  committed
  11be8f6

  Copy full SHA for 11be8f6