Rename fletch -> dartino

pkg/fletchc/lib/src/device_type.dart

Index: pkg/fletchc/lib/src/device_type.dart
diff --git a/pkg/fletchc/lib/src/device_type.dart b/pkg/fletchc/lib/src/device_type.dart
deleted file mode 100644
index 32c0b6a2cc19740f85ed32a114e562afee1c97be..0000000000000000000000000000000000000000
--- a/pkg/fletchc/lib/src/device_type.dart
+++ /dev/null
@@ -1,32 +0,0 @@
-// Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE.md file.
-
-/// Describes the different target device types for the fletch system.
-library fletch_device_type;
-
-enum DeviceType {
-  embedded,
-  mobile,
-}
-
-/// Parses [s] into a [DeviceType] enum value.
-///
-/// Returns `null` if [s] is not recognized as the name of
-/// a valid [DeviceType] value.
-DeviceType parseDeviceType(String s) {
-  switch (s) {
-    case "embedded": return DeviceType.embedded;
-    case "mobile": return DeviceType.mobile;
-  }
-  return null;
-}
-
-/// Returns the String representation of a [DeviceType] enum value.
-String unParseDeviceType(DeviceType deviceType) {
-  switch (deviceType) {
-    case DeviceType.embedded: return "embedded";
-    case DeviceType.mobile: return "mobile";
-  }
-  throw new ArgumentError("Unrecognized device type '$deviceType'");
-}