diff options
| author | Emilio Jesus Gallego Arias | 2017-02-15 17:58:22 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-24 23:55:41 +0100 |
| commit | 106477f3f9ac02a6acaed738e5a3ecccd797c318 (patch) | |
| tree | eb1437cdf98f202138956bc570c519b154c1f84c /mathcomp/Make | |
| parent | fce2105728fb6327ed277f1db79a8fdb816662c3 (diff) | |
[econstr] Adapt to naming changes.
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions