Add scripts

This commit is contained in:
edoardottt committed 2023-04-12 16:18:02 +02:00
1 parent 5d5e88d3c8
commit 4f402c44c0
1 file changed
+3
+3
View File
@@ -1,4 +1,7 @@
#!/bin/bash
#
# This script checks if there are duplicate entries in the README file.
#
readme="README.md"