diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-05-03 20:18:14 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-05-03 20:18:14 +0200 |
| commit | 08f9d5ddd1233f973e6a613931f80cbebd4e39dd (patch) | |
| tree | 597744fe781f155090303c94cc2dacc667b98d10 /src | |
| parent | 4663d6cfc8c3f6ae381a54694529e2b1aee6c66f (diff) | |
Do not create config and cache directories from makefile
They are created by "ftag init". It will fail if any parent directory
does not exist, which is not ideal but fine. It will also silently fail
if a file having the direcytory's name exists, which is bad but I don't
want to fix it for now.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions