| Index: editor/tools/features/com.google.dart.tools.deploy.feature_releng/build-settings/user.properties
|
| ===================================================================
|
| --- editor/tools/features/com.google.dart.tools.deploy.feature_releng/build-settings/user.properties (revision 0)
|
| +++ editor/tools/features/com.google.dart.tools.deploy.feature_releng/build-settings/user.properties (revision 0)
|
| @@ -0,0 +1,5 @@
|
| +# The root of the Dart Editor source tree.
|
| +build.source = ${user.home}/projects/dart/dart/editor
|
| +
|
| +# The primary build directory under which other directories are created.
|
| +build.root = ${user.home}/build-dart
|
|
|