aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-25 10:25:58 +0200
committerClombrong <cromblong@egregore.fun>2025-06-25 10:25:58 +0200
commit06f7d130f9e7370bcbe0801986b767d5249372b8 (patch)
tree9c32ff903f91ec2c91a3df14d917719a477d4d62 /.gitignore
parent43755d2956879e72056c900a00248be9f240fe39 (diff)
chore(env): use .env to source credentials
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1d82412..0bcdb58 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+.env
+
## OCaml
*.annot
*.cmo