Hi all,
I've decided to let go of Devhelp so if someone wants to pick it up,
feel free to do so. It should be fairly quick and easy, it's a small and
simple code base.
The current status is that trunk is in good shape code-wise (much better
than the old 2.22 branch used for the upcoming GNOME version), so as
soon as WebKit becomes an allowed dependency, I recommend switching over
to trunk.
Good luck,
Richard
_______________________________________________
gnome-devtools mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-devtools
