diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2025-11-11 10:58:05 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2025-11-11 10:58:05 +0100 |
| commit | b78129fc9f5748692cef2d07e0930e19d84f8ba7 (patch) | |
| tree | f4d654414d84b573f692b7368664f694ba844d64 /Makefile | |
| parent | fa9b07141713e30bce03d979ad7e8d54bdb33dff (diff) | |
Add database to gitignore
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions