diff options
Diffstat (limited to 'debian/dirs')
| -rw-r--r-- | debian/dirs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/dirs b/debian/dirs index 076dde4..e09a7e3 100644 --- a/debian/dirs +++ b/debian/dirs @@ -1,4 +1,3 @@ -usr/doc/ivy-c usr/man/man1 usr/lib usr/bin |