diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2020-06-04 16:11:01 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2020-06-04 16:11:01 +0000 |
| commit | 7564c1edb48fc65ca04e3d6d132812b99f285144 (patch) | |
| tree | 2a18148e9b466ebd0196ad4b917b5d0ca57622e1 /lang/seed7/pkg-plist | |
| parent | 2ee2d3ed191351fb9ba691419f927e745862ae1c (diff) | |
| download | ports-7564c1edb48fc65ca04e3d6d132812b99f285144.tar.gz ports-7564c1edb48fc65ca04e3d6d132812b99f285144.zip | |
Notes
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 8cbbcad8b16e..f9a689110bdc 100644 --- a/lang/seed7/pkg-plist +++ b/lang/seed7/pkg-plist @@ -110,6 +110,7 @@ lib/seed7/lib/field.s7i lib/seed7/lib/file.s7i lib/seed7/lib/filebits.s7i lib/seed7/lib/filesys.s7i +lib/seed7/lib/fileutil.s7i lib/seed7/lib/float.s7i lib/seed7/lib/font.s7i lib/seed7/lib/font8x8.s7i |