summaryrefslogtreecommitdiff
path: root/debian/changelog
Commit message (Collapse)AuthorAge
* debian/changelog: Tag 2.4-1 for unstable releaseHEADmasterGravatar Benjamin Barenblat2015-02-05
|
* Begin packaging CompCertGravatar Benjamin Barenblat2015-02-05