diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2017-08-12 22:01:14 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-03-03 14:17:54 +0100 |
| commit | 4e7d130afc5788bb3140341dc08ab855aedb4a5d (patch) | |
| tree | 31d104f2795ea9c4feda0efb4500d9ea288bb629 /coq/coq-system.el | |
| parent | fb898164589c7aa045f0883d68d1279abf491512 (diff) | |
Update the AUTHORS file.
Diffstat (limited to 'coq/coq-system.el')
0 files changed, 0 insertions, 0 deletions