diff options
author | Jonathan Protzenko | 2023-01-31 12:46:26 -0800 |
---|---|---|
committer | Son HO | 2023-06-04 21:44:33 +0200 |
commit | b30bac9e20735ab47327a2ac3122c2cfce162845 (patch) | |
tree | 910a10ac4b18cf43b7b80fc5f84be709e3afca7f /compiler/Scalars.ml | |
parent | 3a67a4174e291c0b88537415c01fe2ada90e1ca0 (diff) |
Remove last sorry in Primitives
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions