Date: Thursday, October 18, 2012 @ 17:57:45 Author: jgc Revision: 169296 Remove gnome-pilot, broken since GNOME 3.2, no longer maintained upstream Deleted: gnome-pilot/