James D. Lin bdbe6774a3 [flutter tools] Change the desktop device names and IDs (#58812) ... In google3, the Linux device is always available, and it has confused people who run the Flutter doctor and see "• Linux • Linux • linux-x64 • Linux" listed. Rename the Linux device name to "Linux desktop" and the device ID to be "linux". Make similar changes to the Windows and macOS devices for consistency. This is also consistent with the web devices. The device ID change shouldn't be break -d usage since that does a case-insensitive prefix match.		2020-06-18 15:30:00 -07:00
..
application_package.dart	[flutter_tools] Ensure that global variables are easily identifiable (#47398)	2020-01-06 11:04:20 -08:00
build_windows.dart	Add release and profile support for Windows (#57749)	2020-05-28 12:17:56 -07:00
property_sheet.dart	Generate a Property Sheet for Windows plugins (#50740)	2020-02-13 12:53:28 -08:00
visual_studio_project.dart	Simple repeating word fixes (#51871)	2020-03-03 11:13:07 -08:00
visual_studio_solution_utils.dart	[flutter_tools] check for Runner.sln when parsing for plugins (#57392)	2020-05-18 09:24:51 -07:00
visual_studio_validator.dart	Don't require a specific Windows 10 SDK (#58713)	2020-06-04 18:53:00 -07:00
visual_studio.dart	Specify encoding for vswhere output (#59607)	2020-06-18 14:00:46 -07:00
windows_device.dart	[flutter tools] Change the desktop device names and IDs (#58812)	2020-06-18 15:30:00 -07:00
windows_workflow.dart	[flutter_tools] Ensure that global variables are easily identifiable (#47398)	2020-01-06 11:04:20 -08:00