Use slightly more appropriate format strings for printing decimal values.
[ffmpeg.git] / tools / patcheck
Reading blob failed.