aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2025-11-16 15:52:34 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2025-11-16 15:52:34 +0100
commit436673d30e387682f37171f5b27b0cd72ef64efb (patch)
tree805665feb5b8787874d7f6d2c6320a2be6935a40 /.gitignore
parent8cdf9c79b7a25493bff0d16035430900e1320bd5 (diff)
Remove bad assert
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions