commit 5fa351f84a58b46025235a55d91fb70c87893d5c
parent 01ca42b6baa36cbeb1b1a131473574d5b85cfc2a
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date: Thu, 28 Mar 2024 07:18:38 +0100
Capitalization
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/blog/2023-08-20-grep/grep.md b/src/blog/2023-08-20-grep/grep.md
@@ -1,4 +1,4 @@
-# Unix text filters, part 1 of 3: grep
+# UNIX text filters, part 1 of 3: grep
After [the preliminary post on regular expressions](../2023-06-16-regex),
we are ready to begin this series on *text filters*.