barebox / defaultenv-2 /
@Fabio Porcedda Fabio Porcedda authored on 21 Feb 2013
Sascha Hauer committed on 21 Feb 2013
..
base defaultenv-2: fix base/init/ps1: don't reload /env/config 11 years ago
menu/ menu defenv-2 menu: when booting failed wait for key press 11 years ago