diff options
| author | Andreas Källberg <anka.213@gmail.com> | 2025-08-08 20:02:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-08 20:02:17 +0200 |
| commit | 4dba12c0cefbc6dde77c0f4ef63d039f525e26e1 (patch) | |
| tree | 86033bad57c7e18c8084b5c976ac92203f916ff3 /.gitignore | |
| parent | 5ca230dd2a7b5481ce29a2e015771289b4acb776 (diff) | |
Add a nix flake for building with nix (#185)
Also based on #165
---------
Co-authored-by: o1lo01ol1o <tim.pierson@gmail.com>
Co-authored-by: Tim Pierson <o1lo01ol1o@users.noreply.github.com>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 6 |
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 |