| Index: third_party/coverage-3.7.1/coverage/version.py
|
| diff --git a/third_party/coverage-3.6/coverage/version.py b/third_party/coverage-3.7.1/coverage/version.py
|
| similarity index 77%
|
| rename from third_party/coverage-3.6/coverage/version.py
|
| rename to third_party/coverage-3.7.1/coverage/version.py
|
| index 181ba847647795579b1e1974d4d291e0524c3805..a43bde8023e3209e9df33d01bd6f29e78cfe5ae3 100644
|
| --- a/third_party/coverage-3.6/coverage/version.py
|
| +++ b/third_party/coverage-3.7.1/coverage/version.py
|
| @@ -1,7 +1,7 @@
|
| """The version and URL for coverage.py"""
|
| # This file is exec'ed in setup.py, don't import anything!
|
|
|
| -__version__ = "3.6" # see detailed history in CHANGES.txt
|
| +__version__ = "3.7.1" # see detailed history in CHANGES.txt
|
|
|
| __url__ = "http://nedbatchelder.com/code/coverage"
|
| if max(__version__).isalpha():
|
|
|