Leah Rowe 0d9ffffe65 Add redundancy for seabios git clone in case the main git repository is offline il y a 6 ans
..
helpers 0d9ffffe65 Add redundancy for seabios git clone in case the main git repository is offline il y a 6 ans
misc b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' il y a 7 ans