aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2025-11-11 10:58:05 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2025-11-11 10:58:05 +0100
commitb78129fc9f5748692cef2d07e0930e19d84f8ba7 (patch)
treef4d654414d84b573f692b7368664f694ba844d64
parentfa9b07141713e30bce03d979ad7e8d54bdb33dff (diff)
Add database to gitignore
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index abf4ce9..f30e8c9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
src/ftag
*.o
+ftag.sqlite3