diff options
| author | Enrico Tassi | 2016-12-06 15:35:16 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-12-06 16:31:01 +0100 |
| commit | bcfeaf7951c0cbd9fa950b4ce67206451a17defb (patch) | |
| tree | eff5729999fdb284d53e3fe7a32648411f0dd9ee /mathcomp/Make | |
| parent | a4599ba2083ba748dd7a090a4b2eaaa0fc1d295c (diff) | |
rewrite /primitive_projection is now supported (fix #85)
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions