From 64fa921ab2d4c661e90b317a4dd1ff86e7c65dfb Mon Sep 17 00:00:00 2001
From: Joachim Ansorg <github@ja-dev.eu>
Date: Fri, 12 Nov 2021 20:01:59 +0100
Subject: [PATCH] Updated SC3025 (markdown)

---
 SC3025.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/SC3025.md b/SC3025.md
index d645fca..8d54fbb 100644
--- a/SC3025.md
+++ b/SC3025.md
@@ -1,4 +1,4 @@
-## In POSIX sh, /dev/{tcp,udp} is undefined.
+## In POSIX sh, `/dev/{tcp,udp}` is undefined.
 
 (or "In dash, ... is not supported." when using `dash`)