diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-16 20:03:12 -0400 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-16 20:03:12 -0400 |
| commit | efa9d8b1db36b67f86795c85986061a65a7ca738 (patch) | |
| tree | 7fd44cef152129d51d6e563adf566ce5be4309b1 /projects/grub/configs/modules-install | |
| parent | 0b92cdc3ba219cbd3e2d478512f43599b25c36db (diff) | |
| download | librebootfr-efa9d8b1db36b67f86795c85986061a65a7ca738.tar.gz librebootfr-efa9d8b1db36b67f86795c85986061a65a7ca738.zip | |
Delete old, unused GRUB config and modules-* files
The grub.cfg to be included in the GRUB image is located in each
target's directory in 'projecs/grub/configs' now, which means
'projects/grub/configs/grub.cfg' no longer has any use.
Ditto with 'projects/grub/configs/modules-install' and
'projects/grub/configs/modules-preload'
Diffstat (limited to 'projects/grub/configs/modules-install')
| -rw-r--r-- | projects/grub/configs/modules-install | 80 |
1 files changed, 0 insertions, 80 deletions
diff --git a/projects/grub/configs/modules-install b/projects/grub/configs/modules-install deleted file mode 100644 index 1d0d78ba..00000000 --- a/projects/grub/configs/modules-install +++ /dev/null @@ -1,80 +0,0 @@ -adler32 -all_video -archelp -ata -backtrace -bitmap -bitmap_scale -cmp -cpio -cpio_be -cpuid -crc64 -cs5536 -div_test -efiemu -elf -eval -exfat -extcmd -file -fshelp -gettext -gfxmenu -gptsync -gzio -hashsum -hexdump -http -linux16 -loadenv -lzopio -mda_text -mmap -mpi -msdospart -multiboot -multiboot2 -nativedisk -net -newc -ntfs -ntfscomp -odc -offsetio -parttool -priority_queue -procfs -progress -read -relocator -scsi -search -search_fs_file -search_fs_uuid -search_label -setjmp -setpci -sleep -squash4 -tar -terminfo -testload -testspeed -tftp -time -tr -trig -true -udf -ufs1 -ufs1_be -ufs2 -usbserial_common -usbserial_ftdi -usbserial_pl2303 -usbserial_usbdebug -usbtest -video_colors -videotest_checksum -xzio |