diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2016-11-21 15:05:02 -0500 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2016-11-21 15:05:02 -0500 |
commit | 3386a6f438c7549e2ff5ca88498f27af40cf72e1 (patch) | |
tree | 11b9c65334627e881b31e8ae5657e645a2440a65 /tools | |
parent | 1aecd18e5cc9d8b9dfd4063e749ce61eb0077e2a (diff) |
Removed unnecesary upstreamed patches
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions