diff options
| author | Enrico | 2016-09-19 05:39:21 +0200 |
|---|---|---|
| committer | GitHub | 2016-09-19 05:39:21 +0200 |
| commit | b7796bb785b9d37e5b6648489d5c28e85df9d90d (patch) | |
| tree | 4916d2c925809f24c085f5572cc1e02c8d03343c /mathcomp/field | |
| parent | 3b97308b6314e34d78a6f14c8173956aa64bd026 (diff) | |
| parent | 9513eeb058f620d8a062c183253212da4b4566d3 (diff) | |
Merge pull request #67 from ppedrot/partial-fix
Fix compilation after change in CErrors API.
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions