diff options
| author | Erik Martin-Dorel | 2019-03-22 03:39:46 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-16 15:23:06 +0200 |
| commit | f4cc7395ed95e433e836f6cfcf65d849e7629024 (patch) | |
| tree | 65b640c43e7d0a459a3e43cfe17a766e568b179b /mathcomp/_CoqProject | |
| parent | c84bc1c92a9e77103a88a60d05f9f6ad07b64b5c (diff) | |
Print more debug information
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions