diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-03-12 12:37:02 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-12 12:37:02 -0400 |
commit | 0355e5c5e8471d4ecafbcc56fe6634ac4ed337b3 (patch) | |
tree | b6569284a6169fbfb07bd9b48ae4edafb69a87f5 /src | |
parent | e3fe4307964fd93ddac266cf125ff2264fde2656 (diff) |
Mention src/coq in CHANGELOG
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions