diff options
| author | Hendrik Leppkes <h.leppkes@gmail.com> | 2015-09-07 12:29:33 +0200 |
|---|---|---|
| committer | Hendrik Leppkes <h.leppkes@gmail.com> | 2015-09-07 12:29:33 +0200 |
| commit | a92bd1901fc0bdae562c2cd5e8b1ceddf1464370 (patch) | |
| tree | 0e69f29ba02721defe26380af648f9ee2b71e052 | |
| parent | c8c9940f47458013a0b052cb0742ef9e98642b8a (diff) | |
| parent | 1a164e0a83dd7c1b129aeef10cb3caff368ce850 (diff) | |
Merge commit '1a164e0a83dd7c1b129aeef10cb3caff368ce850'
* commit '1a164e0a83dd7c1b129aeef10cb3caff368ce850':
tools: Drop a stale header
Merged-by: Hendrik Leppkes <h.leppkes@gmail.com>
0 files changed, 0 insertions, 0 deletions