diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-01 17:24:17 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-01 17:29:48 +0100 |
commit | 639ec582d0f31e4a15946ffff2e95b9ff7758bd2 (patch) | |
tree | 995e8b8eaa9368049a900658bec1c18f2af5be13 /doc/README.md | |
parent | 732c01089601d25252301a59ec76f3c1bfb4d495 (diff) | |
parent | fafe446d0e5d51b7f17628d397e3d3d9fac8b9d8 (diff) |
Merge #7616: [depends] Delete unused patches
fafe446 [depends] Delete unused patches (MarcoFalke)
Diffstat (limited to 'doc/README.md')
0 files changed, 0 insertions, 0 deletions