1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-21 08:42:23 +00:00
Commit Graph

7 Commits

Author SHA1 Message Date
Edwin Groothuis
acd87b4ad8 SHA256ify
Approved by:    krion@
2006-01-22 08:34:46 +00:00
Koop Mast
9130d6b022 Update to 0.10.
Take over maintainership.
Add switches to build agains mozilla and firefox (borrowed from the galeon port).

Approved by:	rui AT ruilopes dot com (previous maintainer)
2005-06-18 12:23:25 +00:00
Ying-Chieh Liao
a7381722b4 upgrade to 0.9.1
PR:		69598
Submitted by:	maintainer
2004-07-26 01:38:41 +00:00
Volker Stolz
210e11c428 Update to 0.9:
- devhelp now uses Mozilla to render HTML contents

PR:		ports/65541
Submitted by:	Rui Lopes (maintainer)
Approved by:	linimon (mentor)
2004-04-29 07:25:21 +00:00
Trevor Johnson
8232e82f85 SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
Joe Marcus Clarke
8762b03b9b Update to 0.7, and update the WWW link.
PR:		53905
Submitted by:	maintainer
2003-06-29 20:35:20 +00:00
Adam Weinberger
f211a290fd devhelp is a developer's help browser for GNOME 2. It is a GUI
frontend to books about GNOME development, providing cross-referenced,
easily searchable information.  Many books are available, and can
be found through the project's website.
2003-06-02 01:36:35 +00:00