gvmtool/gvm-gui — pull request #4 by karfunkel (2014-06-02 19:12:18+00:00)
Title: Icons for installed, local and current

As proposed - the icons to be used