CVS: cvs.openbsd.org: ports

[Antoine Jacoutot]

CVSROOT:        /cvs
Module name:    ports
Changes by:     ajacou...@cvs.openbsd.org       2013/04/14 10:32:30

Removed files:
        x11/gnome/terminal/patches: patch-src_profile-preferences_ui 

Log message:
Forgot in previous.