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 /grammars.nix | |
| parent | 58c913ce4567a95c52808d78245eb1dac806971c (diff) | |
Remove symbol picker is_empty check
Diffstat (limited to 'grammars.nix')
0 files changed, 0 insertions, 0 deletions