wok-6.x diff dosbox/receipt @ rev 24065
grub2: declared CONFIG_FILES
author | Hans-G?nter Theisgen |
---|---|
date | Sun Jun 20 14:41:40 2021 +0100 (2021-06-20) |
parents | 136c30321469 |
children | 640a2eba2511 |
author | Hans-G?nter Theisgen |
---|---|
date | Sun Jun 20 14:41:40 2021 +0100 (2021-06-20) |
parents | 136c30321469 |
children | 640a2eba2511 |