| 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 1856)
|
| +++ editor/tools/features/com.google.dart.tools.deploy.feature_releng/build-settings/user.properties (working copy)
|
| @@ -1,5 +1,5 @@
|
| -# The root of the Dart Editor source tree.
|
| -build.source = ${user.home}/projects/dart/dart/editor
|
| +# The root of the Dart Editor source tree
|
| +build.source = ../../../../editor
|
|
|
| # The primary build directory under which other directories are created.
|
| build.root = ${user.home}/build-dart
|
|
|