diff options
| author | Kazuhiko Sakaguchi | 2019-04-02 20:34:01 +0200 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2019-04-02 20:34:01 +0200 |
| commit | fa01cdf52c9af3f7e57a865a063e3d02f28cbf60 (patch) | |
| tree | 1fab6add707d8bddb48424f84a00fef95e7e1dc8 /mathcomp/Make | |
| parent | beb5b00f4f35859f48f12a6e0dd9e86d65609822 (diff) | |
Fix inheritances in countalg and finalg (the 2nd attempt)
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions