| Index: utils/pub/git_source.dart
|
| ===================================================================
|
| --- utils/pub/git_source.dart (revision 13754)
|
| +++ utils/pub/git_source.dart (working copy)
|
| @@ -147,7 +147,7 @@
|
| * the working tree, but instead makes the repository a local mirror of the
|
| * remote repository. See the manpage for `git clone` for more information.
|
| */
|
| - Future _clone(String from, String to, [bool mirror=false]) {
|
| + Future _clone(String from, String to, {bool mirror: false}) {
|
| // Git on Windows does not seem to automatically create the destination
|
| // directory.
|
| return ensureDir(to).chain((_) {
|
|
|