diff options
| author | Tej Chajed | 2017-08-15 10:52:31 +0100 |
|---|---|---|
| committer | Tej Chajed | 2017-08-15 10:52:31 +0100 |
| commit | 2dc691c218cb9fef7b5ce58ee4fff615c2a6d2e0 (patch) | |
| tree | 3221d0ccbfc4442f6571b44c8405d60bad18b093 /dev | |
| parent | 82828d631453f612d5048e970b8f1bc874a647c9 (diff) | |
Mention coqdev@
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions