Devhelp 3.7.5 Features Revamped User Interface

This is a development release for the GNOME 3.7.5 desktop environment
by Marius Nestor, February 7th, 2013