tree 72a9da99c1cdc2ddf64388fc818e4acc7f978c21
parent 183fba635d5ece8466af3085c2e831f9a93ee775
author Alexander Lanin <alex@lanin.de> 1585837114 -0700
committer Paul Robinson <paul.robinson@sony.com> 1585837227 -0700

[docs] use git diff instead of git format-patch

Uploading output from `git format-patch` fails when version has
more than 2 dots, e.g. git version 2.24.1.windows.2 which is
currently recommended by e.g. GitExtensions or 2.24.1.rc on Linux.

Differential Revision: https://reviews.llvm.org/D72374