diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-04 23:23:19 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-04 23:23:19 +0200 |
| commit | ca530eb3a2b65dbc7716e557752c87e36aa1879d (patch) | |
| tree | 74542f954784ccea6d759639309a8f19e19ac57e /.gitignore | |
| parent | a8efdc34834ecc592a79719ccf9fbef76768898b (diff) | |
Remove license headers
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions