diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2022-05-20 15:34:35 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-05-20 15:34:35 -0400 |
| commit | abe6f5cf30799ab85f507470d2655a325c09eab8 (patch) | |
| tree | 0fdfe2cf6c10d9cb215aa53a469eaea0c1b33b32 | |
| parent | 53e5dd3ec190a788e88af88b3592fc3d41ac8778 (diff) | |
| download | python-coveragepy-git-abe6f5cf30799ab85f507470d2655a325c09eab8.tar.gz | |
feat: also include the version and timestamp at the top of the index page: #1354
| -rw-r--r-- | coverage/htmlfiles/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index 9f8e88e6..d1cf0041 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -55,6 +55,11 @@ <form id="filter_container"> <input id="filter" type="text" value="" placeholder="filter..." /> </form> + + <p> + <a class="nav" href="{{__url__}}">coverage.py v{{__version__}}</a>, + created at {{ time_stamp }} + </p> </div> </header> |