diff options
| author | thery | 2016-02-18 00:51:36 +0100 |
|---|---|---|
| committer | thery | 2016-02-18 00:51:36 +0100 |
| commit | 80ba26baaf0581407e401f56d83cb59bd090db53 (patch) | |
| tree | 74c11ee70ac330e0ef635caa266d179a88677fb4 /mathcomp/ssreflect/plugin/trunk | |
| parent | bca166997dd5116c271d5bec36ec537b53f3f14c (diff) | |
type in error message
Diffstat (limited to 'mathcomp/ssreflect/plugin/trunk')
0 files changed, 0 insertions, 0 deletions