| commit | 7a5f3e43b52c756e564842cff5fe5efc50470867 | [log] [tgz] |
|---|---|---|
| author | Joe Gregorio <jcgregorio@google.com> | Tue Nov 06 10:12:52 2012 -0500 |
| committer | Joe Gregorio <jcgregorio@google.com> | Tue Nov 06 10:12:52 2012 -0500 |
| tree | bc1d46d230bf441e36ad038e019a5ceb4a7a6d79 | |
| parent | d67010d98769c7f0b7792ce26b8ca7527dd3561c [diff] |
Refresh tools.run() flag description. Reviewed in https://codereview.appspot.com/6817088/.