Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
..
withgrub b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
withgrub_helper b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
withseabios b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
withseabios_helper b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans