This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit cacf817

committed

Apr 7, 2021

Remove CHANGELOG

Deletes the CHANGELOG file since this has not been maintained/updated since CBMC version 5.9.

1 parent 366989f commit cacf817Copy full SHA for cacf817

1 file changed

+0

-225

lines changed

CHANGELOG

1 file changed

+0

-225

lines changed

`‎CHANGELOG`

This file was deleted.

Comments

(0)

Please sign in to comment.