diff options
| author | Enrico Tassi | 2015-09-24 08:52:37 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-09-24 08:52:48 +0200 |
| commit | 39cc672b0fdf31cfef816fd14b76e43bff7e6da2 (patch) | |
| tree | 7bcde65a8915075ea743705cf788d39463ed03da /mathcomp/basic/div.v | |
| parent | ade7c12c3dd440c3b297943d3562411adadd962d (diff) | |
Fix compilation on 8.5
Diffstat (limited to 'mathcomp/basic/div.v')
0 files changed, 0 insertions, 0 deletions