packages/devtools_shared/lib/devtools_extensions.dart - external/github.com/flutter/devtools - Git at Google

 // Copyright 2023 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.

 export 'src/extensions/extension_manager.dart';
 export 'src/extensions/extension_model.dart';
	// Copyright 2023 The Chromium Authors. All rights reserved.
	// Use of this source code is governed by a BSD-style license that can be
	// found in the LICENSE file.

	export 'src/extensions/extension_manager.dart';
	export 'src/extensions/extension_model.dart';