Code

Fix generate_version_cpp target#6014

Code

Closed

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

rurban:versionrurban/cbmc:versionCopy head branch name to clipboard

Commits

Commits on Apr 5, 2021

• Bump to 5.26.1

  rurban

  committed
  ed5c571

  Copy full SHA for ed5c571

Commits on Apr 6, 2021

• Fix generate_version_cpp target

  Show description for 931d782
  rurban

  committed
  931d782

  Copy full SHA for 931d782