arthurvanduynhoven 94549ab755 Need to do update before installing linux-image-extra kernel in case system is outdated.

2015-06-24 14:56:28 +02:00

..

debian

Need to do update before installing linux-image-extra kernel in case system is outdated.

2015-06-24 14:56:28 +02:00

linux

…

redhat

…