diff options
| author | Enrico Tassi | 2016-10-13 14:46:16 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2016-10-13 14:46:16 +0200 |
| commit | fb7060ca71082911284ff6b388c3c45ef07c2723 (patch) | |
| tree | 597e61061042eee70d2ea39cdc67d3e791737db8 /mathcomp/solvable | |
| parent | 6567e75331b7916bd6c4b61c8da3650926833692 (diff) | |
Make: avoid >> Make, pass args to coq_makefile instead (#77)
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions