diff options
| author | snailed <luca@snaile.de> | 2022-08-16 12:25:21 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-16 12:25:21 +0000 |
| commit | e864d6f9f2440735e046bfd7d85bab3f4740dac5 (patch) | |
| tree | b9f9e2e2ea2231c30a40a393d55170435240d9a9 /.local?id=e864d6f9f2440735e046bfd7d85bab3f4740dac5 | |
| parent | 9ff4910d4a422444a2d03886c408fd006406f411 (diff) | |
Texclear fix for directories with spaces (#1169)
Add double quotes to prevent splitting directory names with spaces
Diffstat (limited to '.local?id=e864d6f9f2440735e046bfd7d85bab3f4740dac5')
0 files changed, 0 insertions, 0 deletions