diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2025-11-30 11:11:32 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2025-11-30 11:11:32 +0100 |
| commit | 14addaafbf49baf23ddbed3e92a2ef4ef7f7a4f8 (patch) | |
| tree | 749a2eb1f81de39105bb9a0dd6c401b265e372b3 /src/Makefile | |
| parent | 4e66d837a0eb7f4538305fd4579da9293f581b81 (diff) | |
Add script for adding a whole directory to database
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions