diff options
| author | Cyril Cohen | 2018-10-26 12:26:59 +0200 |
|---|---|---|
| committer | GitHub | 2018-10-26 12:26:59 +0200 |
| commit | 91a4286ddc1a1f85b6719318be52bce88a3aff32 (patch) | |
| tree | 54d005fa753645a3056d93d382498b0b7eb4c6cf /mathcomp/Makefile.common | |
| parent | 311c23124e258647075f703b0f759f1ad5051c60 (diff) | |
| parent | efbdb223b3329d6cae0cecebdb6d98453fb489d4 (diff) | |
Merge pull request #235 from CohenCyril/bool_irrelevance2
Statement of `bool_irrelevance` more consistent with its name.
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions