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

Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'		vor 7 Jahren
..
clean	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	vor 7 Jahren
config	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	vor 7 Jahren
dependencies	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	vor 7 Jahren
module	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	vor 7 Jahren
release	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	vor 7 Jahren
roms	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	vor 7 Jahren