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 @ docs/gnulinux/fix-debian-instructions

Andrew Robbins eebffd4ec5 Update hdctools revision to latest release		6 lat temu
..
configs	eebffd4ec5 Update hdctools revision to latest release	6 lat temu
patches	112003a556 Paper build system initial import into Libreboot	8 lat temu
hdctools	5c1fe562d8 Remove unnecessary spaces in command substitutions	7 lat temu