diff options
Diffstat (limited to 'lang/seed7/pkg-plist')
-rw-r--r-- | lang/seed7/pkg-plist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist index aa2a8e3aa72d..9c7773200d74 100644 --- a/lang/seed7/pkg-plist +++ b/lang/seed7/pkg-plist @@ -171,6 +171,7 @@ lib/seed7/lib/pixmapfont.s7i lib/seed7/lib/pkcs1.s7i lib/seed7/lib/png.s7i lib/seed7/lib/poll.s7i +lib/seed7/lib/ppm.s7i lib/seed7/lib/process.s7i lib/seed7/lib/progs.s7i lib/seed7/lib/propertyfile.s7i |