diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-23 18:34:22 -0400 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-23 18:34:49 -0400 |
commit | 3fb4147ad760df79d54ffa046ac94e6a5581daeb (patch) | |
tree | ee58e733a2ad9e2e3c3a3485ddf50431526071d5 /coq/coq-par-compile.el | |
parent | 54aa34fbae35502b98c1d8b2e7e920438e13faee (diff) |
Add myself to list of authors
Diffstat (limited to 'coq/coq-par-compile.el')
0 files changed, 0 insertions, 0 deletions