diff options
| author | Michael Vogt <mvo@debian.org> | 2013-12-03 21:49:02 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-12-03 21:49:02 +0100 |
| commit | 1a22e16a1ebf08243c1836e1c593cb966cae4850 (patch) | |
| tree | 8e183f0c3c00151d20263813938308d4a01b478e /doc/makefile | |
| parent | 80cc2c3723a1e28f45edd78168c72a26d41403e9 (diff) | |
proof-of-concept for fixing debian #731102
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions