diff options
| author | Pierre Letouzey | 2017-05-23 10:18:33 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-05-23 10:18:33 +0200 |
| commit | 60ca3fb1f2724f9a6d1b2e808a94a394711b7258 (patch) | |
| tree | 02afd2b139db1c05016c7172c87a3251644db538 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 107ef2db28b7abc75afe32350e7c2eb3c8ddbe82 (diff) | |
Bigint.euclid: clarify which sign convention is used
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions