diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-02-17 18:27:42 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-02-17 18:27:42 +0100 |
| commit | dfe8d9780ee4aa8daad68cb9376a41717949ca08 (patch) | |
| tree | e18de1653d8e50c53a62ed6613f758fd6a792aed /.gitignore | |
| parent | 5a831f0ba062c403921cd87f30328a895e96a113 (diff) | |
File renaming is part of packaging
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions