diff options
| author | Tej Chajed | 2017-08-18 08:59:19 +0100 |
|---|---|---|
| committer | Tej Chajed | 2017-08-18 08:59:19 +0100 |
| commit | 0202ebb164a4d9b57be8a6a057b654e2e75692e1 (patch) | |
| tree | a0b4ba9b4940328fe8f6364225c2445f78e4ee4d /dev/doc | |
| parent | eae98b19ec3ae4f35fbe98678e82c1d9c9e0c387 (diff) | |
Advise contributors to use SE over coq-club
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions