summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authoraristote <quentin.aristote@irif.fr>2026-01-10 12:54:11 +0100
committeraristote <quentin.aristote@irif.fr>2026-01-10 12:54:11 +0100
commit7444e3d17fa4492845524a749c399023471c73f0 (patch)
treef9b6080785e3097f42f554719342f005c597b133 /.gitignore
parent997f53fc18783bf67bffcb7521a195c0c5dd1431 (diff)
unpublished: add where to appear
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions