diff options
| author | Michael Vogt <mvo@debian.org> | 2014-05-07 21:03:45 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2014-05-07 21:03:45 +0200 |
| commit | b41713efc8f37d62f078bea850ef0a74e0af0103 (patch) | |
| tree | 83aa83f10ac90a5f5facf269d764ffa1b740dacc /doc/makefile | |
| parent | 41a658f873a36e2f8507a84fb40f0632e2a62b15 (diff) | |
show progress in run-tests
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions