Unbreak the profile preferences editor.
This commit is contained in:
parent
5a9e827f05
commit
3c2251a46d
@ -1,4 +1,4 @@
|
||||
# $OpenBSD: Makefile,v 1.93 2013/03/31 09:09:09 ajacoutot Exp $
|
||||
# $OpenBSD: Makefile,v 1.94 2013/03/31 10:19:07 ajacoutot Exp $
|
||||
|
||||
SHARED_ONLY= Yes
|
||||
|
||||
@ -6,7 +6,7 @@ COMMENT= GNOME terminal
|
||||
|
||||
GNOME_PROJECT= gnome-terminal
|
||||
GNOME_VERSION= 3.8.0
|
||||
REVISION= 2
|
||||
REVISION= 3
|
||||
|
||||
# GPLv3+
|
||||
PERMIT_PACKAGE_CDROM= Yes
|
||||
|
3388
x11/gnome/terminal/patches/patch-src_profile-preferences_ui
Normal file
3388
x11/gnome/terminal/patches/patch-src_profile-preferences_ui
Normal file
File diff suppressed because it is too large
Load Diff
Loading…
Reference in New Issue
Block a user