Gentoo Packages /package/dev-util/devhelp http://www.gentoo.org/favicon.ico http://packages.gentoo.org/feed/package/dev-util/devhelp Gentoo Packages2 2013-05-22T21:31:12Z <div> <span class="cpvstr">dev-util/devhelp</span>: <span class="description">An API documentation browser for GNOME</span> </div> http://packages.gentoo.org/package/dev-util/devhelp?ts=2013-05-15T12:14:39Z Pacho Ramos (pacho) http://cia.vc/stats/author/pacho 2013-05-15T12:14:39Z
*devhelp-3.8.2 (15 May 2013)
15 May 2013; Pacho Ramos (pacho) +devhelp-3.8.2.ebuild,
-devhelp-3.4.1.ebuild, -devhelp-3.8.0.ebuild,
-files/devhelp-3.4.1-gsettings-fonts.patch:
Version bump, drop old