[gnome-continuous] Drop config-opts for gnome-tweaks
- From: Emmanuele Bassi <ebassi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-continuous] Drop config-opts for gnome-tweaks
- Date: Tue, 31 Jul 2018 10:49:35 +0000 (UTC)
commit fdd56776dcd93789b0eb881eddec4d10b6e9f86b
Author: Emmanuele Bassi <ebassi gnome org>
Date: Tue Jul 31 10:36:34 2018 +0100
Drop config-opts for gnome-tweaks
The project does not have build options any more.
manifest.json | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 6f9ae44..111a2ba 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1413,10 +1413,7 @@
"component": "testing"},
{"src": "gnome:gnome-tweaks.git",
- "name": "gnome-tweaks",
- "config-opts": [
- "-Denable-man=false"
- ]},
+ "name": "gnome-tweaks"},
{"src": "gnome:eog.git",
"name": "eog",
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]