remove unnecessary unicode from chroot-script

#219
grml · Oct 19, 2023 · 438ca09 · 438ca09
1 parent c9f1699
commit 438ca09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/chroot-script b/chroot-script
@@ -653,7 +653,7 @@ available_ids() {
   echo "${ids}"
 }
 
-# helper function to report corresponding /dev/disk/by-id/… for a given device name,
+# helper function to report corresponding /dev/disk/by-id/ for a given device name,
 # based on GRUB's postinst script
 device_to_id() {
   local id