diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-01-25 17:57:53 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-01-25 17:57:53 +0100 |
| commit | 0d511aaa1f2bf147240605d288c348ef88407af2 (patch) | |
| tree | d5a0ebfd0723b2a7e562a8c6715cc2d0fc93d91c /.gitignore | |
| parent | 97098feb7b8840fc851e6bab925c139bce978231 (diff) | |
Do not forget to read the modification time
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions