Code

Replace 'detatch' with 'detach'#1540

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

owen-mc-diffblue:rename-detachowen-mc-diffblue/cbmc:rename-detachCopy head branch name to clipboard

Oct 31, 2017

Commits

Commits on Oct 31, 2017

• Replace 'detatch' with 'detach'

  

  Owen Jones

  committed
  938ab2b

  Copy full SHA for 938ab2b