diff options
| author | Georges Gonthier | 2019-04-25 00:40:16 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-25 00:40:16 +0200 |
| commit | dec1f90d13c44016ea53da360e9692fd768bc24b (patch) | |
| tree | d9547562b36ab587589c4daf0531e02ce5abc678 /mathcomp/character/classfun.v | |
| parent | 5118bc30e1748dd58ddf30889c69502e9366f2d9 (diff) | |
| parent | c0f6dcdb111e6b77c06678dd033a0239aa8e2891 (diff) | |
Merge pull request #335 from math-comp/fix-if-return
remove deprecated use of `if ... return`
Diffstat (limited to 'mathcomp/character/classfun.v')
0 files changed, 0 insertions, 0 deletions