Index: gm/rebaseline_server/static/live-view.html |
diff --git a/gm/rebaseline_server/static/live-view.html b/gm/rebaseline_server/static/live-view.html |
index 6c158a6e7ec3d8b8a7c5c3373a3a70ec777b9f61..1662adf89cb9e1fb01657abdf3790f3c1a3a970c 100644 |
--- a/gm/rebaseline_server/static/live-view.html |
+++ b/gm/rebaseline_server/static/live-view.html |
@@ -203,6 +203,10 @@ |
Here is the patch to apply to your local checkout: |
<br> |
<textarea rows="8" cols="50">{{diffResults}}</textarea> |
+ <br> |
+ <a download="patch.txt" ng-href="{{diffResultsBlobUrl}}"> |
+ Click here to download that patch as a text file. |
+ </a> |
</div> |
</div> |