diff options
author | 2018-03-01 13:51:27 +0100 | |
---|---|---|
committer | 2018-03-06 22:31:22 +0100 | |
commit | d3414abd4dc912debf1a8339eedbe1b9d4dbc319 (patch) | |
tree | 909c0a98f84f75a6a0d876fd04078b6774437776 /Makefile.ci | |
parent | ed98716036e9d47efb2ba66cf0336fc45e03f793 (diff) |
Add CHANGES and man entry for coqdep learning _CoqProject.
Diffstat (limited to 'Makefile.ci')
0 files changed, 0 insertions, 0 deletions