Rename fletch -> dartino

third_party/double-conversion/src/double-conversion.cc

Index: third_party/double-conversion/src/double-conversion.cc
diff --git a/third_party/double-conversion/src/double-conversion.cc b/third_party/double-conversion/src/double-conversion.cc
index 3eb9040242368c9ad9489f78244160d3f6ea130c..3dc09d0c9bcc770501a3ced9de2b80d77283145b 100644
--- a/third_party/double-conversion/src/double-conversion.cc
+++ b/third_party/double-conversion/src/double-conversion.cc
@@ -33,7 +33,7 @@
 #include "bignum-dtoa.h"
 
 // Remove the double-based fast cases and use big int operations always for
-// Fletch. This cuts more than 8KB off the binary size.
+// Dartino. This cuts more than 8KB off the binary size.
 //
 // #include "fast-dtoa.h"
 // #include "fixed-dtoa.h"
@@ -391,7 +391,7 @@ void DoubleToStringConverter::DoubleToAscii(double v,
   }
 
   // Remove the double-based fast cases and use big int operations always for
-  // Fletch. This cuts more than 8KB off the binary size.
+  // Dartino. This cuts more than 8KB off the binary size.
   /*
   bool fast_worked;
   switch (mode) {