diff options
| author | Pierre Courtieu | 2018-06-15 09:42:22 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2018-06-15 09:42:22 +0200 |
| commit | b238dab7a2f8a52281a920df027c3dea4fc4b28c (patch) | |
| tree | 487e3c78ff27444d49002e6174af124df607d8c7 /coq/coq-system.el | |
| parent | d04888c966ebbf0ea5532b44766697f6fa8e04c3 (diff) | |
Fixing last commit.
Diffstat (limited to 'coq/coq-system.el')
0 files changed, 0 insertions, 0 deletions