diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2023-05-15 07:11:47 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-15 07:11:47 -0400 |
| commit | 914672dc4f955afc3478c256145e7f6098b7da63 (patch) | |
| tree | 9a68fca94fa52226916a25885999b707cb8ed2bb /.gitignore | |
| parent | b15cba03c394962f274852d08f9274249afe0f49 (diff) | |
| parent | 992be330ab31be4fe226b09fb602ced18fda788c (diff) | |
Merge pull request #8141 from tweag/user-files-doc
Document user files of nix
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index e25fd7d0c..7ae1071d0 100644 --- a/.gitignore +++ b/.gitignore @@ -51,6 +51,8 @@ perl/Makefile.config /src/nix/nix +/src/nix/doc + # /src/nix-env/ /src/nix-env/nix-env |