       |-----handy-ruler------------------------------------------------------|
devhelp: devhelp
devhelp:
devhelp: DevHelp's primary goal is to be an API documentation browser for
devhelp: GNOME.
devhelp:
devhelp:
devhelp:
devhelp:
devhelp:
devhelp:
devhelp:
