diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-02-15 21:15:00 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-02-18 15:46:07 +0000 |
commit | 642d35be89dfd9561dd49ff282a9e18658a23211 (patch) | |
tree | 53058c16546fc49a4d6d0bcdffe6b3bdb0354b79 /strata/gnome | |
parent | 9c4f6bf548b7568e38d6354c82558654150872f9 (diff) | |
download | definitions-642d35be89dfd9561dd49ff282a9e18658a23211.tar.gz |
More WebKitGtk1 to its own stratum
Change-Id: I7b5abc9db0f7d065ca76ea1ab4ecfae8747f051b
Diffstat (limited to 'strata/gnome')
-rw-r--r-- | strata/gnome/WebKitGtk1.morph | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/strata/gnome/WebKitGtk1.morph b/strata/gnome/WebKitGtk1.morph deleted file mode 100644 index b723248d..00000000 --- a/strata/gnome/WebKitGtk1.morph +++ /dev/null @@ -1,5 +0,0 @@ -name: WebKitGtk1 -kind: chunk -build-system: autotools -configure-commands: -- ./configure --prefix="$PREFIX" --sysconfdir=/etc --disable-webkit2 --enable-introspection |