Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(377)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: embedded.dartino-settings

Issue 1659163007: Rename fletch -> dartino (Closed) Base URL: https://github.com/dartino/sdk.git@master
Patch Set: Created 4 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« DEPS ('K') | « default_targets.gypi ('k') | embedded.fletch-settings » ('j') | pkg/dartino_compiler/lib/dartino_compiler.dart » ('J')
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: embedded.dartino-settings
diff --git a/embedded.fletch-settings b/embedded.dartino-settings
similarity index 93%
rename from embedded.fletch-settings
rename to embedded.dartino-settings
index 4185bc5e23ea7c830070bfcdcaa546bf59685a5a..ec874cfd92c133ca0d13d6021dcf420fcbb26cf8 100644
--- a/embedded.fletch-settings
+++ b/embedded.dartino-settings
@@ -24,7 +24,7 @@
"constants": {
},
- // Address of the target device on which to run the Fletch VMs.
+ // Address of the target device on which to run the Dartino VMs.
// If null then vms are started directly on localhost.
"device_address": null,
« DEPS ('K') | « default_targets.gypi ('k') | embedded.fletch-settings » ('j') | pkg/dartino_compiler/lib/dartino_compiler.dart » ('J')

Powered by Google App Engine
This is Rietveld 408576698