diff options
| author | dholland <dholland@pkgsrc.org> | 2010-04-15 06:50:46 +0000 |
|---|---|---|
| committer | dholland <dholland@pkgsrc.org> | 2010-04-15 06:50:46 +0000 |
| commit | 8f088055939641645343640360af2e878252e2eb (patch) | |
| tree | 2416e16992d989fc51ef5ae05d28f8d471a7fee0 /lang/ocamlduce | |
| parent | 2558631496e647806d47034afa89951f717ac438 (diff) | |
| download | pkgsrc-8f088055939641645343640360af2e878252e2eb.tar.gz | |
DESTDIR support. Use SPECIAL_PERMS. Fix some pkglint. Add missing
manpage link. Fix getline lossage on -current. Wrap the homemade
config.sh substitutions in @@ to make them more robust. PKGREVISION++
Diffstat (limited to 'lang/ocamlduce')
0 files changed, 0 insertions, 0 deletions