device_manager.h revision 0d7f2390a4d13279ef8de31dd68405f8464e3b62
1