diff options
| author | Cyril Cohen | 2020-11-12 15:33:16 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-12 15:33:16 +0100 |
| commit | 8bc77452290bba1f0c8f4eab47676fcffc29b876 (patch) | |
| tree | c933f4a20118c7f38b39a20fd7960395311ca6d0 /mathcomp/ssreflect/seq.v | |
| parent | d0449f7e13f06ab7295f6919d1701e8adfa72d61 (diff) | |
| parent | de89e39ec1104d7b893d3aa4610fe50cbefabc51 (diff) | |
Merge pull request #641 from pi8027/hint-extern-exact
Replace `exact:` with `apply:` in `Hint Extern` declarations
Diffstat (limited to 'mathcomp/ssreflect/seq.v')
0 files changed, 0 insertions, 0 deletions