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 /%253fid%253de864d6f9f2440735e046bfd7d85bab3f4740dac5%3fid%3de864d6f9f2440735e046bfd7d85bab3f4740dac5?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 '%253fid%253de864d6f9f2440735e046bfd7d85bab3f4740dac5%3fid%3de864d6f9f2440735e046bfd7d85bab3f4740dac5?id=e864d6f9f2440735e046bfd7d85bab3f4740dac5')
0 files changed, 0 insertions, 0 deletions