diff options
author | tv <tv> | 1998-06-27 14:05:46 +0000 |
---|---|---|
committer | tv <tv> | 1998-06-27 14:05:46 +0000 |
commit | a2319fd6a372c392ca6a7a2d80455bfe7e11e1b8 (patch) | |
tree | fe425a42036e720381912b86ea36ffd3c4c0e437 /net/wget/Makefile | |
parent | cd2c974d7f65e3d356dd4332183ee2ee682bd714 (diff) | |
download | pkgsrc-a2319fd6a372c392ca6a7a2d80455bfe7e11e1b8.tar.gz |
Remove libpico from installation - it's static only, and we're not
installing headers for it, so it is basically useless. However, this
should be re-added when libpico is made shared (it will reduce pico and
pilot to less than 8K each).
Diffstat (limited to 'net/wget/Makefile')
0 files changed, 0 insertions, 0 deletions