From 4f402c44c084f18327f918b54c5bd62af7250bed Mon Sep 17 00:00:00 2001
From: edoardottt <edoardott@gmail.com>
Date: Wed, 12 Apr 2023 16:18:02 +0200
Subject: [PATCH] Add scripts

---
 scripts/check-dups.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/check-dups.sh b/scripts/check-dups.sh
index 96b4eea..f9957e3 100755
--- a/scripts/check-dups.sh
+++ b/scripts/check-dups.sh
@@ -1,4 +1,7 @@
 #!/bin/bash
+#
+# This script checks if there are duplicate entries in the README file.
+#
 
 readme="README.md"