diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2025-12-24 15:15:06 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2025-12-24 15:15:06 +0100 |
| commit | e12a8222e16e18c19ffd2e5982ca03b897058e42 (patch) | |
| tree | 705d0ac7f1408fd7a5b35f40d0fda96bb3800ee8 /Makefile | |
| parent | ff52b3f585cbd664ae3cfd269002e6974697593b (diff) | |
Fix add-dir-rec script
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions