diff options
| author | Robbert Krebbers | 2017-11-14 22:48:54 +0100 |
|---|---|---|
| committer | Robbert Krebbers | 2017-11-14 22:50:08 +0100 |
| commit | edc5d8f0c6128949521fa331e55cc67084951bfb (patch) | |
| tree | 41634b99869dc7f68137755223e462beff4824bb /dev/ci | |
| parent | 8d176db01baf9fb4a5e07decb9500ef4a8717e93 (diff) | |
Get rid of ' notation for Zpos in QArith.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions