diff options
| author | Michael Lan <michaellan202@gmail.com> | 2022-02-02 12:45:51 -0800 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-02-03 08:38:50 +0100 |
| commit | 50cf31065c1e3502d8964bb3674b95567d752074 (patch) | |
| tree | a9b50e94ee483879e0fed22e7aa94f4dec797600 /queries/tlaplus | |
| parent | c9b11ac70c24a3854998c9a92c94759b1d1b52ef (diff) | |
fix(utils): adjust truncation condition
Diffstat (limited to 'queries/tlaplus')
0 files changed, 0 insertions, 0 deletions