diff options
| author | Tej Chajed | 2017-08-15 11:04:19 +0100 |
|---|---|---|
| committer | Tej Chajed | 2017-08-15 11:04:19 +0100 |
| commit | eae98b19ec3ae4f35fbe98678e82c1d9c9e0c387 (patch) | |
| tree | 46b01f732aeebb760c088e99caf0731992a701e0 /dev/doc/debugging.md | |
| parent | 2dc691c218cb9fef7b5ce58ee4fff615c2a6d2e0 (diff) | |
Never mind, don't mention coqdev
I don't really want to recommend that someone subscribes to ask a
question.
Diffstat (limited to 'dev/doc/debugging.md')
0 files changed, 0 insertions, 0 deletions