diff options
| author | Kazuhiko Sakaguchi | 2020-11-21 13:30:45 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-25 22:29:54 +0900 |
| commit | c2b2ea2dce5fa7b8d428a5072f2e86979eeb1d98 (patch) | |
| tree | f2c02c36d18ee3841e07db4c8f35c99bed6f4284 /mathcomp/ssreflect/Make | |
| parent | 783631c771ec76baa4ff9d292c1eddfb58f67f4c (diff) | |
Apply suggestions from code review
Co-authored-by: Christian Doczkal <christian.doczkal@inria.fr>
Diffstat (limited to 'mathcomp/ssreflect/Make')
0 files changed, 0 insertions, 0 deletions