diff options
| author | Enrico Tassi | 2015-09-27 20:37:53 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-09-27 20:37:53 +0200 |
| commit | b0e32f633f66193a6a614c07c78ff10f8ca08ae9 (patch) | |
| tree | 199e86b9cc319680938bba39cf925d5d6cc4d160 /mathcomp/basic/prime.v | |
| parent | 39cc672b0fdf31cfef816fd14b76e43bff7e6da2 (diff) | |
fix compilation on trunk
Diffstat (limited to 'mathcomp/basic/prime.v')
0 files changed, 0 insertions, 0 deletions