From dff86996480c1f7ba0ad55cd79a1c291490040ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kirill=20M=C3=BCller?= <krlmlr@users.noreply.github.com>
Date: Sat, 1 Jul 2023 11:05:05 +0200
Subject: [PATCH] Update packages.json

Work around https://github.com/lionel-/codegrip/issues/15?
---
 packages.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.json b/packages.json
index 3795d5e..f3c8b57 100644
--- a/packages.json
+++ b/packages.json
@@ -1,4 +1,8 @@
 [
+    {
+        "package": "codegrip",
+        "url": "https://github.com/lionel-/codegrip"
+    },    
     {
         "package": "constructive",
         "url": "https://github.com/cynkra/constructive"