Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' hace 7 años
..
withgrub b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' hace 7 años
withgrub_helper b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' hace 7 años
withseabios b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' hace 7 años
withseabios_helper b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' hace 7 años