| Index: tools/create_timestamp_file.py
|
| diff --git a/tools/create_timestamp_file.py b/tools/create_timestamp_file.py
|
| old mode 100644
|
| new mode 100755
|
| index 7a1d4d3d218e09fe90d0a687473cc679dd636fd8..0a97edcc24cea13f46247a34f0f6563ed6de4c42
|
| --- a/tools/create_timestamp_file.py
|
| +++ b/tools/create_timestamp_file.py
|
| @@ -1,3 +1,4 @@
|
| +#!/usr/bin/env python
|
| # Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
|
| # for details. All rights reserved. Use of this source code is governed by a
|
| # BSD-style license that can be found in the LICENSE file.
|
|
|