diff options
| author | Pierre Letouzey | 2016-09-28 17:30:26 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-09-28 17:30:32 +0200 |
| commit | 1c3bc5642fe29855cc4d72aa677ff7ffd4787271 (patch) | |
| tree | d574219670e9fbb01a848e87aa6eab6347b1738c /plugins/setoid_ring | |
| parent | 6a5f10f725a1e10a88df404574331c9f679bc474 (diff) | |
ZDivEucl: notations in different scope to avoid a warning
Diffstat (limited to 'plugins/setoid_ring')
0 files changed, 0 insertions, 0 deletions