Code

Enhancement/fix diffblue author#1919

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:enhancement/fix_diffblue_authormgudemann/cbmc:enhancement/fix_diffblue_authorCopy head branch name to clipboard

Mar 10, 2018

Commits

Commits on Mar 9, 2018

• Fix Diffblue author entries

  

  Matthias Güdemann

  committed
  631acab

  Copy full SHA for 631acab

• Replace copyright notice with author entry

  

  Matthias Güdemann

  committed
  d430ddc

  Copy full SHA for d430ddc

• DiffBlue -> Diffblue

  

  Matthias Güdemann

  committed
  e2ca928

  Copy full SHA for e2ca928