diff options
| author | Pierre Courtieu | 2015-11-30 16:43:50 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2015-11-30 16:43:50 +0100 |
| commit | 2016f5f71f497bc7906c945b088ad93689ffd2bf (patch) | |
| tree | cae91d8a3d79eb7f6b503365de7b0d54ec0a96be /coq | |
| parent | 22c3951cfdf4938fa6df7368daed7bead05e4592 (diff) | |
Updated the CHANGES files, mainly git url.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions