aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2025-12-25 19:37:27 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2025-12-25 19:37:27 +0100
commit27a2ef5af56e3ee813aa6813f13cb70ad2aa6a3b (patch)
tree70040e9fc8b949dcff55e91e4aa74d16b1407ba1 /.gitignore
parent3f731a74242b8985c8511ade532fb98ffc531b30 (diff)
Improve error messages
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions