Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anos atrás
..
withgrub b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anos atrás
withgrub_helper b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anos atrás
withseabios b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anos atrás
withseabios_helper b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' 7 anos atrás