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

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: tools/benchmarking_files

Issue 1659163007: Rename fletch -> dartino (Closed) Base URL: https://github.com/dartino/sdk.git@master
Patch Set: address comments 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
« no previous file with comments | « tools/android_build/jni/Android.mk ('k') | tools/bots/dartino_namer.py » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tools/benchmarking_files
diff --git a/tools/benchmarking_files b/tools/benchmarking_files
index 7506cfa5e9a800898e74cba9c75c443838a85ed0..68b1715900735ac5d1e629d17b1110b88329ab97 100644
--- a/tools/benchmarking_files
+++ b/tools/benchmarking_files
@@ -1,9 +1,9 @@
-.fletch-settings
+.dartino-settings
.packages
benchmarks/
lib/
pkg/
-tests/fletchc/run.dart
+tests/dartino_compiler/run.dart
third_party/charcode
third_party/collection
third_party/crypto
« no previous file with comments | « tools/android_build/jni/Android.mk ('k') | tools/bots/dartino_namer.py » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698