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

 // Copyright 2019 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.

 /// The DevTools application version.
 // Note: when updating this, please update the corresponding version in the
 // pubspec.
 const String version = '0.1.12-dev.1';
	// Copyright 2019 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.

	/// The DevTools application version.
	// Note: when updating this, please update the corresponding version in the
	// pubspec.
	const String version = '0.1.12-dev.1';