Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
..
grubmodify b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
grubreplace b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
grubupdate b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
seabiosmodify b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
seabiosrommodify b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
seabiosromreplace b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
seabiosromupdate b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans
seabiosupdate b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans