Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Arch Linux
arch-boxes
Merge requests
!65
Merged
Created
Oct 13, 2019
by
Sven-Hendrik Haase
@svenstaro
Contributor
Options
added switch for grub-install
Overview
0
Commits
1
Changes
1
Created by: shibumi
Signed-off-by: Christian Rebischke
chris@nullday.de
