summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorArianna Masciolini <uzkamascio@gmail.com>2025-08-08 20:15:46 +0200
committerArianna Masciolini <uzkamascio@gmail.com>2025-08-08 20:15:46 +0200
commit17ebcac84f6bbed07532b300d17095a6b4768033 (patch)
treefc1725bb427b808e397d3980122917154109a2a0 /.gitignore
parent7d018dde6276a18388f5429d5953adee927a1ea1 (diff)
parent4dba12c0cefbc6dde77c0f4ef63d039f525e26e1 (diff)
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore6
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index b698d53ab..93d660fcc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -73,3 +73,9 @@ doc/icfp-2012.html
download/*.html
gf-book/index.html
src/www/gf-web-api.html
+.devenv
+.direnv
+result
+.vscode
+.envrc
+.pre-commit-config.yaml \ No newline at end of file