Index: third_party/coverage/version.py |
diff --git a/third_party/coverage/version.py b/third_party/coverage/version.py |
new file mode 100644 |
index 0000000000000000000000000000000000000000..eb42c5d9f4b3e5a656829d9d53a137e8444a2176 |
--- /dev/null |
+++ b/third_party/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" # 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__ |