diff options
| author | NomisIV | 2023-03-01 06:45:27 +0000 |
|---|---|---|
| committer | GitHub | 2023-03-01 06:45:27 +0000 |
| commit | c082ef28632e8a92a91926f3714808942238098b (patch) | |
| tree | fee2693a94a0b9bf28684615a2e7e4d9be42fadf /runtime/queries/lean | |
| parent | 27211abf0688794f9bf7a395a8c47846b4f7fd41 (diff) | |
Fix indentation lines (#6134) (#6136)
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions