diff options
| author |  Jade Philipoom <jadep@google.com> | 2018-04-11 10:10:13 +0200 |
|---|---|---|
| committer | Jade Philipoom <jadep@google.com> | 2018-04-11 10:10:13 +0200 |
| commit | 0d2f18249f65211ad6fe318e193bfdf43d244303 (patch) | |
| tree | 5f42c59e98a36618848db798802e98f290a807e4 /_CoqProject | |
| parent | 6863349da1bbdecaa7eac88188dff8369aae0249 (diff) | |
fix trashed carry flag
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions