diff options
author | 2017-10-30 17:16:07 +0000 | |
---|---|---|
committer | 2017-10-30 17:16:07 +0000 | |
commit | b93f6c997d9e5c174a1ddaec1c73dedfcdf7c106 (patch) | |
tree | 43b8b5e261618856d00646b5eae1202405732f17 /docs/release/installation | |
parent | 4c0e4186721a2315ac316f5170c6cd3a8199eb6a (diff) | |
parent | 4e2c736cce578d1073dab0e0960b524b1dcc663a (diff) |
Merge "lib.sh: rm Ubuntu boot entry on EFI systems"
Diffstat (limited to 'docs/release/installation')
0 files changed, 0 insertions, 0 deletions