aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-02-16 16:24:28 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2026-02-16 16:24:28 +0100
commitcbfbc4cbce8f5d6762fe7fac2ab5dbf43e1a5645 (patch)
tree8b8e8d99e3d64e67f1533642770872abe2d4dbc2 /.gitignore
parentd82f009f9af0b1c527835e677eb2ae7789236fa4 (diff)
Do not abort ftag init if directories exist
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions