Files
grub/grub-core
Andrei Borzenkov 7136b545c1 Erase backspaced character in grub_username_get
It probably does not work across linefeed, but hopefully user names are not
that long (and nobody is using terminal that small).
2015-12-16 19:20:10 +03:00
..
2015-06-20 23:38:19 +03:00
2015-01-27 17:17:58 +01:00
2015-02-26 22:10:09 +01:00
2015-12-01 18:49:38 +03:00
2015-01-28 20:35:28 +03:00
2015-10-27 23:30:54 +03:00
2015-03-03 20:50:37 +01:00
2013-04-27 02:00:16 +02:00
2013-04-11 21:12:46 +02:00
2013-04-11 21:12:46 +02:00
2013-04-11 21:12:46 +02:00
2013-04-11 21:12:46 +02:00