diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2022-08-04 14:01:27 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2022-08-04 14:01:27 -0400 |
| commit | b74a3f51c2ecb200ceb877bf5dda528664ef7e10 (patch) | |
| tree | ec66039b60f08d1be5ab15e8dd92b2d5e11aec51 /.gitignore | |
| parent | bc118854d0d739d8f2cd20f67fb7cf46f6aec2e5 (diff) | |
Fix gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index ba8e95191..0c1b89ace 100644 --- a/.gitignore +++ b/.gitignore @@ -22,7 +22,7 @@ perl/Makefile.config /doc/manual/src/SUMMARY.md /doc/manual/src/command-ref/new-cli /doc/manual/src/command-ref/conf-file.md -/doc/manual/src/expressions/builtins.md +/doc/manual/src/language/builtins.md # /scripts/ /scripts/nix-profile.sh |