From 42ddd471dcc41a40dc7c1cf1cd914e341958671c Mon Sep 17 00:00:00 2001 From: Sam James Date: Sun, 28 Feb 2021 23:18:24 +0000 Subject: [PATCH] dev-util/premake: add github remote-id Signed-off-by: Sam James --- dev-util/premake/metadata.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/dev-util/premake/metadata.xml b/dev-util/premake/metadata.xml index e57cb3c992f62..b31e3be2970df 100644 --- a/dev-util/premake/metadata.xml +++ b/dev-util/premake/metadata.xml @@ -13,6 +13,7 @@ engine to make build configuration tasks a breeze. + premake/premake-core premake