diff options
author | Josep Puigdemont <josep.puigdemont@enea.com> | 2016-07-11 15:28:28 +0200 |
---|---|---|
committer | Josep Puigdemont <josep.puigdemont@enea.com> | 2016-07-11 15:28:49 +0200 |
commit | 76dffcf005706ce725b70ab54c139fbc517b6378 (patch) | |
tree | f60b2024101b52d0f357b93323e54996f704c3c9 /docs/configguide | |
parent | 55f7357dd237700fe8ddf5889ee2d58320480c9a (diff) |
dea_base: use grub-efi-arm64 instead of grub-pc.
Change-Id: Iae462ebe89ff3bc351addd12a8f5cc5ecdef2b11
Signed-off-by: Josep Puigdemont <josep.puigdemont@enea.com>
Diffstat (limited to 'docs/configguide')
0 files changed, 0 insertions, 0 deletions