libreboot/obsolete-repository-preserved-for-historical-purposes: This is the OLD libreboot git repository. A new repository will be available soon. Please do not contribute to this one. This one is being set read-only, and will be preserved for reference / historical purpose. See note on libreboot.org @ d1766ee64799e475c21a5d7e0f15c72f53cbb768

John M. Harris, Jr a8f882d788 Add reproducible build patches to GRUB		il y a 6 ans
..
helpers	a8f882d788 Add reproducible build patches to GRUB	il y a 6 ans
misc	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	il y a 7 ans