import 'package:devtools_app/html_main.dart' as devtools;

/// Launches the pure-html DevTools web app.
///
/// When the app is built with the flutter tool, this main.dart file
/// will be overridden by a main.dart file generated by the flutter tool.
void main() {
  devtools.main();
}