diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-03 09:58:59 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-03 09:58:59 +0200 |
| commit | 1a94d67617204744c2b1ccd4f6f22cd231e46190 (patch) | |
| tree | e33e8f448659f3586581b0127c800e8d03c8792a /.gitignore | |
| parent | a3ac14b64a71ef77d85d6c846f7546c1af4b5533 (diff) | |
Manage versions using git tags
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions