|
defaults
|
add grub theme role
|
2019-04-11 11:09:29 +02:00 |
|
handlers
|
add grub theme role
|
2019-04-11 11:09:29 +02:00 |
|
meta
|
add grub theme role
|
2019-04-11 11:09:29 +02:00 |
|
tasks
|
divers
|
2019-04-11 18:54:12 +02:00 |
|
vars
|
add grub theme role
|
2019-04-11 11:09:29 +02:00 |
