2
1
Fork 0
mirror of https://git.savannah.gnu.org/git/gnuboot.git synced 2025-01-04 07:17:40 +01:00
gnuboot/resources/scripts
2021-11-18 17:02:36 +00:00
..
build build/boot/roms: fix wrong filename for pike2008 option roms 2021-11-18 17:02:36 +00:00
download download backup seabios repo if the main one is down 2021-11-11 11:36:45 +00:00
misc replace #!/bin/bash with #!/usr/bin/env bash 2021-06-03 12:47:08 +01:00
update replace #!/bin/bash with #!/usr/bin/env bash 2021-06-03 12:47:08 +01:00