From e0068dacee8ba87138e71a8c9f42f1e11f696102 Mon Sep 17 00:00:00 2001
From: Rune Juhl Jacobsen <rune@juhljacobsen.dk>
Date: Mon, 28 Apr 2025 10:14:17 +0200
Subject: [PATCH] [platform_profile] remove debugging

---
 platform_profile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/platform_profile b/platform_profile
index 22cebd8..de7d6fc 100755
--- a/platform_profile
+++ b/platform_profile
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 set -euo pipefail
-set -x
 
 case "${1}" in
   get)