lab1.md

@@ -62,7 +62,7 @@ if [ -f /courses/TDDE05/software/bin/tdde05-setup.sh ]; then
 fi
 ```
 
-To edit your ```.bashrc``` file, you can use the any editor like:
+To edit your ```.bashrc``` file, you can use any editor like:
 
 ```bash
 code ~/.bashrc