diff options
| author | Enrico | 2017-11-06 19:07:09 +0100 |
|---|---|---|
| committer | GitHub | 2017-11-06 19:07:09 +0100 |
| commit | 1e7a80cc115a2a4f284a2a9c33e56f55687a764e (patch) | |
| tree | 9435d7ddc76abb74b7df0eec7abf861048dc89a2 /mathcomp/ssreflect/plugin | |
| parent | 7110a6e302fe102b6fb8df675511a44d8441d6c5 (diff) | |
| parent | c2a42557d0cc7c4c776a4572dcfeef011bfc73b8 (diff) | |
Merge pull request #154 from maximedenes/nothing-to-inject
Fix the only remaining spurious injection in the entire codebase.
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions