diff options
author | Philipp Mildenberger | 2023-03-19 20:22:29 +0000 |
---|---|---|
committer | Philipp Mildenberger | 2023-05-18 19:48:32 +0000 |
commit | b1199c552be39eec8cb428310c8bb2a952454b04 (patch) | |
tree | 7ec70a0b6f06daad3a7b1c015fba16d38643858f /runtime/queries/uxntal | |
parent | 58c913ce4567a95c52808d78245eb1dac806971c (diff) |
Remove symbol picker is_empty check
Diffstat (limited to 'runtime/queries/uxntal')
0 files changed, 0 insertions, 0 deletions