druckdev/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

git:filter-repo: Build manpage on installation

Browse Source
This commit is contained in:
Julian Prein
2022-05-21 13:24:59 +02:00
parent 6c802cc70f
commit 891cb063e6
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.local/share/man/man1/git-filter-repo.1 Symbolic link
View File

@@ -0,0 +1 @@
../../git/plugins/git-filter-repo/Documentation/man1/git-filter-repo.1