Franz Pletz 8f39095abb biosdevname: 0.6.1 -> 0.7.2		2017-01-26 03:52:45 +01:00
..
default.nix	biosdevname: 0.6.1 -> 0.7.2	2017-01-26 03:52:45 +01:00
makefile.patch