device_manager.cpp revision 08bc0cc9
1