Vitali64 b74056563f Workaround for grub's slow boot		2021-11-28 17:16:18 +00:00
..
roms	replace #!/bin/bash with #!/usr/bin/env bash	2021-06-03 12:47:08 +01:00
roms_helper	Workaround for grub's slow boot	2021-11-28 17:16:18 +00:00