diff options
Diffstat (limited to 'lang/seed7/pkg-plist')
| -rw-r--r-- | lang/seed7/pkg-plist | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist index d523e23..f581fa8 100644 --- a/lang/seed7/pkg-plist +++ b/lang/seed7/pkg-plist @@ -189,7 +189,3 @@ lib/seed7/lib/xmldom.s7i lib/seed7/lib/zip.s7i man/man1/s7.1.gz man/man1/s7c.1.gz -@dirrm lib/seed7/bin -@dirrm lib/seed7/lib/comp -@dirrm lib/seed7/lib -@dirrm lib/seed7 |
