avoid double //

pull/1/head
chris west 4 years ago
parent 9964d2c530
commit 67665c3327

@ -158,7 +158,9 @@ where
continue;
}
let mut path = rel_path.clone();
path.push('/');
if path != "/" {
path.push('/');
}
path.push_str(&file_name.to_string_lossy());
menu.write_entry(
file_type(&entry),

Loading…
Cancel
Save