K 10 svn:author V 5 dougb K 8 svn:date V 27 2011-10-25T08:14:31.000000Z K 7 svn:log V 257 Fix plist when the THREADS option is off. Also convert to @dirrmtry in a couple places that are affected by graphics/ocaml-lablgl and/or x11-toolkits/ocaml-lablgtk2. No PORTREVISION bump since THREADS is on by default. Approved by: maintainer (implicit) END