diff options
author | Blaž Hrastnik | 2022-06-27 08:27:44 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2022-06-27 08:27:44 +0000 |
commit | 24f03097e3b4aef62aa56bb27e0853b60a4cb417 (patch) | |
tree | 29c37c06d8787710f5140557fb11da73013bb2fe /runtime/queries/lean/injections.scm | |
parent | 33d287a9ad4e72311cf74c7070406626f8cad4bb (diff) |
Remove some more unwraps
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions