diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2022-11-28 04:55:41 +0000 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2022-11-28 04:55:41 +0000 |
| commit | d376fac66cbd5efbe2f9f61a1e8b31af03a84a92 (patch) | |
| tree | a0ae2ffd38b09a2124a07ab1939807875051b8fe /sys/man | |
| parent | 618b7b861bd417a8e83ca612141617b79bc68424 (diff) | |
gitfs(4): clean up junk in manpage
Diffstat (limited to 'sys/man')
| -rw-r--r-- | sys/man/4/gitfs | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/sys/man/4/gitfs b/sys/man/4/gitfs index 9516eb189..eecf96bdd 100644 --- a/sys/man/4/gitfs +++ b/sys/man/4/gitfs @@ -81,18 +81,7 @@ as files. .SH FILES .TP .B .git -The git repository being expected. -.TP -.B .git/HEAD -A reference to the current HEAD. -Used to populate -.B $repo/.git/fs/HEAD -.TP -.git/config -The per-repository configuration for git tools. -.TP -.B $home/lib/git/config -The global configuration for git tools. +The git repository being mounted. .SH SOURCE .TP |