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__ |