From 6094da46b0e2f127343c5a51d5d7cda39edcc7bf Mon Sep 17 00:00:00 2001 From: Tom Hubrecht Date: Wed, 24 Jan 2024 20:24:00 +0100 Subject: [PATCH] feat(static): Deploy qr.dgnum.eu --- machines/web01/static/npins/sources.json | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/machines/web01/static/npins/sources.json b/machines/web01/static/npins/sources.json index ad728ab..d1f71d7 100644 --- a/machines/web01/static/npins/sources.json +++ b/machines/web01/static/npins/sources.json @@ -43,6 +43,17 @@ "revision": "8b17a3c3a61041d9672077376b78d22519282096", "url": null, "hash": "10wr13yrq9p2pzg0pvv5vh3y2v6gb66iyc5civ3i90v7y2k1l9sx" + }, + "qr.dgnum.eu": { + "type": "Git", + "repository": { + "type": "Git", + "url": "https://git.dgnum.eu/DGNum/qr.dgnum.eu.git" + }, + "branch": "main", + "revision": "e6084bbbdccee3d700037b5f34ead386d649c470", + "url": null, + "hash": "1p4xn5g1awrgx9wr9pv2xjz7myrpb77i8fj1qdc9qfdnjjz6didi" } }, "version": 3