diff options
| author | Nadrieril | 2019-04-23 22:37:05 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-23 22:38:33 +0200 |
| commit | d1ad0a2036ce689d4a6b5f38a1641b9ce475df9e (patch) | |
| tree | cc053df9adbe5fcfb19a04c4d5b58d2cd28f03b0 /dhall/src/traits | |
| parent | 4b1ad84cb2dad533069d685e212894d517d8fa57 (diff) | |
Fix shifting under Pi
Diffstat (limited to 'dhall/src/traits')
0 files changed, 0 insertions, 0 deletions