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 /.config%25253fid%25253dfb374cdf9f4dd58ec8f7ea1747217f2775c5a379%253fid%253d771ed98bf66ac77ec98ac7c0d64e511642d93231%3fid%3d4f249741bccfd16efab07ed46c3f13e4d57e1f8d?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 '.config%25253fid%25253dfb374cdf9f4dd58ec8f7ea1747217f2775c5a379%253fid%253d771ed98bf66ac77ec98ac7c0d64e511642d93231%3fid%3d4f249741bccfd16efab07ed46c3f13e4d57e1f8d?id=e864d6f9f2440735e046bfd7d85bab3f4740dac5')
0 files changed, 0 insertions, 0 deletions