CVS: cvs.openbsd.org: ports

[Antoine Jacoutot]

CVSROOT:        /cvs
Module name:    ports
Changes by:     ajacou...@cvs.openbsd.org       2014/03/26 09:24:41

Modified files:
        x11/gnome/devhelp: Makefile distinfo 
        x11/gnome/devhelp/pkg: PLIST 

Log message:
Update to devhelp-3.12.0.