diff options
| author | Cyril Cohen | 2020-06-04 17:08:06 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-01 13:59:41 +0100 |
| commit | f0dd790c5b142ac3afa36584551c1dd243b219ee (patch) | |
| tree | cd643851e030be6b66d8b788503fd65365fffa01 /mathcomp/Make | |
| parent | e79b0b06bd3c34735f9dd21c4a705cb9b53da513 (diff) | |
generic interactions between in and on
+ Taking into account Kazuhiko's remarks
Co-authored-by: Kazuhiko Sakaguchi <sakaguchi@coins.tsukuba.ac.jp>
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions