From 2e9b983618319ee268b5922a0831c12403c153d6 Mon Sep 17 00:00:00 2001 From: o1lo01ol1o Date: Thu, 16 Nov 2023 13:48:05 -0600 Subject: [PATCH] mute artifacts --- .gitignore | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 19177891f..93d660fcc 100644 --- a/.gitignore +++ b/.gitignore @@ -73,4 +73,9 @@ doc/icfp-2012.html download/*.html gf-book/index.html src/www/gf-web-api.html -.devenv \ No newline at end of file +.devenv +.direnv +result +.vscode +.envrc +.pre-commit-config.yaml \ No newline at end of file