gnuboot

mirror of https://git.savannah.gnu.org/git/gnuboot.git

History

Ron Nazarov 0fadeed493 replace #!/bin/bash with #!/usr/bin/env bash		2021-06-03 12:47:08 +01:00
..
coreboot	replace #!/bin/bash with #!/usr/bin/env bash	2021-06-03 12:47:08 +01:00
seabios	replace #!/bin/bash with #!/usr/bin/env bash	2021-06-03 12:47:08 +01:00
tianocore	replace #!/bin/bash with #!/usr/bin/env bash	2021-06-03 12:47:08 +01:00