diff options
| -rw-r--r-- | Doc/Zsh/.distfiles | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/Doc/Zsh/.distfiles b/Doc/Zsh/.distfiles index 42517f507..f52a86ee5 100644 --- a/Doc/Zsh/.distfiles +++ b/Doc/Zsh/.distfiles |
![]() |
index : zsh | |
| [no description] | git mirrorbot |
| summaryrefslogtreecommitdiffstats |
| -rw-r--r-- | Doc/Zsh/.distfiles | 19 |
diff --git a/Doc/Zsh/.distfiles b/Doc/Zsh/.distfiles index 42517f507..f52a86ee5 100644 --- a/Doc/Zsh/.distfiles +++ b/Doc/Zsh/.distfiles |