Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren
..
grubmodify b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren
grubreplace b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren
grubupdate b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren
seabiosmodify b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren
seabiosrommodify b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren
seabiosromreplace b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren
seabiosromupdate b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren
seabiosupdate b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' vor 7 Jahren