Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anni fa
..
withgrub b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anni fa
withgrub_helper b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anni fa
withseabios b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anni fa
withseabios_helper b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anni fa