Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add Vcs-Browser and Vcs-Git URLs | 2015-02-05 | |
* | Add man page | 2015-02-05 | |
* | Install CompCert README | 2015-02-05 | |
* | debian/rules: Better documentation | 2015-02-05 | |
* | Install manually | 2015-02-05 | |
* | Pass target to configure | 2015-02-05 | |
* | Fix minor error in Debian copyright file | 2015-02-05 | |
* | Fake a Makefile.config so initial ‘make clean’ works | 2015-02-05 | |
* | Begin packaging CompCert | 2015-02-05 |