diff options
| author | Rudolf Polzer <divverent@xonotic.org> | 2014-09-17 14:11:56 +0200 |
|---|---|---|
| committer | Rudolf Polzer <divverent@xonotic.org> | 2014-09-17 14:11:56 +0200 |
| commit | a173d3a2fba7c2c3d89af20077dec89ed0424030 (patch) | |
| tree | 9be4726967865ee7928ce7a0b4f66c4d36a8812d /player | |
| parent | 396756e58ab37d262ca31fece673329d224eca0a (diff) | |
| download | mpv-a173d3a2fba7c2c3d89af20077dec89ed0424030.tar.bz2 mpv-a173d3a2fba7c2c3d89af20077dec89ed0424030.tar.xz | |
TOOLS/idet.sh: Handle the case of multiple Parsed_idet_0: output lines.
This seems to happen frequently now. It is handled by adding their values.
Diffstat (limited to 'player')
0 files changed, 0 insertions, 0 deletions