gnuboot/resources/scripts
Ron Nazarov 0fadeed493 replace #!/bin/bash with #!/usr/bin/env bash 2021-06-03 12:47:08 +01:00
..
build replace #!/bin/bash with #!/usr/bin/env bash 2021-06-03 12:47:08 +01:00
download replace #!/bin/bash with #!/usr/bin/env bash 2021-06-03 12:47:08 +01: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