| Index: third_party/coverage-3.6/coverage/version.py
|
| diff --git a/third_party/coverage-3.6/coverage/version.py b/third_party/coverage-3.6/coverage/version.py
|
| deleted file mode 100644
|
| index 181ba847647795579b1e1974d4d291e0524c3805..0000000000000000000000000000000000000000
|
| --- a/third_party/coverage-3.6/coverage/version.py
|
| +++ /dev/null
|
| @@ -1,9 +0,0 @@
|
| -"""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
|
| -
|
| -__url__ = "http://nedbatchelder.com/code/coverage"
|
| -if max(__version__).isalpha():
|
| - # For pre-releases, use a version-specific URL.
|
| - __url__ += "/" + __version__
|
|
|