On Sat, Jun 12, 2010 at 07:45:46PM +0200, Reimar Döffinger wrote: > On Sat, Jun 12, 2010 at 12:36:22PM +0200, Diego Biurrun wrote: > > pt_add_gui_file is unused, OK to remove? > > Sure. Removed. Diego