| Index: third_party/pycoverage/coverage/version.py
|
| diff --git a/third_party/pycoverage/coverage/version.py b/third_party/pycoverage/coverage/version.py
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..a43bde8023e3209e9df33d01bd6f29e78cfe5ae3
|
| --- /dev/null
|
| +++ b/third_party/pycoverage/coverage/version.py
|
| @@ -0,0 +1,9 @@
|
| +"""The version and URL for coverage.py"""
|
| +# This file is exec'ed in setup.py, don't import anything!
|
| +
|
| +__version__ = "3.7.1" # see detailed history in CHANGES.txt
|
| +
|
| +__url__ = "http://nedbatchelder.com/code/coverage"
|
| +if max(__version__).isalpha():
|
| + # For pre-releases, use a version-specific URL.
|
| + __url__ += "/" + __version__
|
|
|