From 36d94b34aae533b60c272cb172e02e1ca753d985 Mon Sep 17 00:00:00 2001 From: heliguy Date: Sat, 23 Dec 2023 22:39:59 -0500 Subject: [PATCH] Set development in the manifest again --- io.github.flattool.Warehouse.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/io.github.flattool.Warehouse.json b/io.github.flattool.Warehouse.json index e0c6823..047651d 100644 --- a/io.github.flattool.Warehouse.json +++ b/io.github.flattool.Warehouse.json @@ -44,7 +44,7 @@ "name" : "warehouse", "builddir" : true, "buildsystem" : "meson", - "config-opts": [ "-Dprofile=default" ], + "config-opts": [ "-Dprofile=development" ], "sources" : [ { "type" : "dir",