diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2014-10-10 22:03:08 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2014-10-10 22:03:08 +0200 |
| commit | 844c95355601bdbc1b6c0b344533c3376b27aa8b (patch) | |
| tree | 7c5926226685e86520301d5c8522127b6902b7a0 /doc/en/makefile | |
| parent | edd007cdfccd8db603d1f11acbf9f30272afb48c (diff) | |
remove useless pdiff filename output
Looks like a leftover from debugging. Absolutely no need for it and
destroys progess reporting completely.
Closes: 764737
Diffstat (limited to 'doc/en/makefile')
0 files changed, 0 insertions, 0 deletions