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