diff options
author | Rok Garbas <rok@garbas.si> | 2020-12-07 15:13:36 +0100 |
---|---|---|
committer | Rok Garbas <rok@garbas.si> | 2020-12-07 15:13:36 +0100 |
commit | 24db5b125f06f7f01f4afb024d41132ad1709801 (patch) | |
tree | 513ef449fc06963566c3f5cd8aefdc0ef6609d21 /.gitignore | |
parent | 44da19f73cfa87bb09c14fe64fce97904db0970c (diff) | |
parent | 8a06edbf7e984bae426068189ff9a631bc26af72 (diff) |
Merge remote-tracking branch 'origin/master' into cli-guideline
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index c51582cf0..37aada307 100644 --- a/.gitignore +++ b/.gitignore @@ -18,7 +18,8 @@ perl/Makefile.config /doc/manual/nix.json /doc/manual/conf-file.json /doc/manual/builtins.json -/doc/manual/src/command-ref/nix.md +/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 |