diff options
| author | Alvaro Herrera | 2020-01-15 14:02:09 +0000 |
|---|---|---|
| committer | Alvaro Herrera | 2020-01-15 14:14:39 +0000 |
| commit | a166d408eb0b35023c169e765f4664c3b114b52e (patch) | |
| tree | 1c432fec482f436cb6611988bff055ff5e27015d /src/tools/git-external-diff | |
| parent | 16a4a3d59cd5574fdc697ea16ef5692ce34c54d5 (diff) | |
Report progress of ANALYZE commands
This uses the progress reporting infrastructure added by c16dc1aca5e0,
adding support for ANALYZE.
Co-authored-by: Álvaro Herrera <alvherre@alvh.no-ip.org>
Co-authored-by: Tatsuro Yamada <tatsuro.yamada.tf@nttcom.co.jp>
Reviewed-by: Julien Rouhaud, Robert Haas, Anthony Nowocien, Kyotaro Horiguchi,
Vignesh C, Amit Langote
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions