Vladimir 'phcoder' Serbinenko 3fcb410549 Fix a double device name		2010-09-08 20:39:57 +02:00
..
efidisk.c	Fix a double device name	2010-09-08 20:39:57 +02:00