diff options
| author | Cyril Cohen | 2020-11-18 02:01:45 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-18 02:01:45 +0100 |
| commit | 526be1c2e1aec37df13619f06196c53912d97f82 (patch) | |
| tree | a2e3b5b5842f548567c4daebbe8fd9c9bce0dec6 /mathcomp/ssreflect | |
| parent | 068284d23c4a05c7ffeb4db8e277d24ed561369f (diff) | |
update search pattern
fixes #608
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions