diff options
| author | Michael Vogt <mvo@debian.org> | 2013-11-29 08:38:12 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-11-29 08:38:12 +0100 |
| commit | faeb435cab7b41a50c621ef9f96853d15c57d0d8 (patch) | |
| tree | c2554080ab4a46b0cfdd1eba7fb0767328e75c44 /doc/makefile | |
| parent | c1a61d1ca91e0a0a79b8c1be3fe04bcfa12cf0dc (diff) | |
| parent | cf993341c2067ee091cfd51e5da0e237babce171 (diff) | |
Merge branch 'feature/edit-sources' into debian/sid
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions