emily/libreboot: Libreboot is a free boot fimware implementation, to replace the non-free BIOS/UEFI firmware found on most systems. It initializes the hardware and starts a bootloader for your operating system. @ 3d43f6844db987d5563683aebbafadc552a5cb7e

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