This package includes"pico"


-rwxr-xr-x     root     root     158772 Mar 18 21:15 /usr/bin/pico
-rw-r--r--     root     root       2888 Mar 18 21:15 /usr/man/man1/pico.1.gz


(c) S.u.S.E. - Last update: 23.03.99 02:49;