Commit 6482eb9

committed

Remove CHANGELOG

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

1 parent cb0b6c5 commit 6482eb9Copy full SHA for 6482eb9

1 file changed

+0

-225

lines changed

CHANGELOG

1 file changed

+0

-225

lines changed

`‎CHANGELOG`

This file was deleted.

Comments

(0)