Franz Pletz cb0ddbadd9 seabios: 1.9.2 -> 1.9.3		2016-08-02 21:21:02 +02:00
..
default.nix	seabios: 1.9.2 -> 1.9.3	2016-08-02 21:21:02 +02:00