diff options
| -rw-r--r-- | debian/zsh-dev.install | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/zsh-dev.install b/debian/zsh-dev.install index 41011e9d8..8a86970e0 100644 --- a/debian/zsh-dev.install +++ b/debian/zsh-dev.install @@ -6,7 +6,6 @@ Src/makepro.awk usr/share/zsh-dev obj/Src/*.epro usr/include/zsh obj/Src/*.h usr/include/zsh obj/Src/*.mdh usr/include/zsh -obj/Src/Builtins/*.h usr/include/zsh/Builtins obj/Src/Builtins/*.mdh usr/include/zsh/Builtins obj/Src/Modules/*.h usr/include/zsh/Modules obj/Src/Modules/*.mdh usr/include/zsh/Modules |