fix bad merge of upstream config
authorIan Kelling <iank@fsf.org>
Mon, 20 May 2024 20:13:19 +0000 (16:13 -0400)
committerIan Kelling <iank@fsf.org>
Mon, 20 May 2024 20:13:19 +0000 (16:13 -0400)
commita69dd442e7381deaec866989a4944efa4f73a8c3
tree25d6db7dea89d8f0976ce4f4e0dc26f4a1ce601b
parenta03d1a5cf4c6583c075a5b80e729f8f72ed0d338
fix bad merge of upstream config
fai/config/scripts/GRUB_PC/10-setup