diff options
author | Klemens Nanni <contact@autoboot.org> | 2015-12-09 11:16:35 (EST) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-12-09 11:17:48 (EST) |
commit | c4b5cf26bbbc33c6692ef74da79e2bf3c060b073 (patch) | |
tree | 273528ec3e5898fdaf3d75967eb8b9f2c720c154 /docs/src/gnulinux/grub_config.texi | |
parent | 4fe6a7e48e17f0668919d9230a392663f7ff7390 (diff) | |
download | libreboot-c4b5cf26bbbc33c6692ef74da79e2bf3c060b073.zip libreboot-c4b5cf26bbbc33c6692ef74da79e2bf3c060b073.tar.gz libreboot-c4b5cf26bbbc33c6692ef74da79e2bf3c060b073.tar.bz2 |
build/clean: Add missing script for coreinfo
Diffstat (limited to 'docs/src/gnulinux/grub_config.texi')
0 files changed, 0 insertions, 0 deletions