diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-05-23 10:18:33 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-05-23 10:18:33 +0200 |
| commit | 60ca3fb1f2724f9a6d1b2e808a94a394711b7258 (patch) | |
| tree | 02afd2b139db1c05016c7172c87a3251644db538 /plugins/romega | |
| parent | 107ef2db28b7abc75afe32350e7c2eb3c8ddbe82 (diff) | |
Bigint.euclid: clarify which sign convention is used
Diffstat (limited to 'plugins/romega')
0 files changed, 0 insertions, 0 deletions