diff options
| author | Michael Davis | 2022-06-29 01:08:09 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-07-01 09:04:23 +0000 |
| commit | d8f036f0a9fd7248e53ff965f7f9f950a672808b (patch) | |
| tree | 23c836a229635878491b17a41f60422f2142df65 /runtime/queries/lean/locals.scm | |
| parent | 199a2460cabaf2e876d58f3549c4fbfe5ddf16e0 (diff) | |
erlang: update parser for fix on remote calls
Diffstat (limited to 'runtime/queries/lean/locals.scm')
0 files changed, 0 insertions, 0 deletions