diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2016-06-06 13:49:54 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2016-06-06 14:10:56 +0200 |
| commit | 2f3d8040cad8c0dbf45647a695dc86b46fc13350 (patch) | |
| tree | 73a2e3d1d92e266fba5df8243d44d654919445cf /INSTALL | |
| parent | 033443c8695a4845ba494f6d64e7f9f50a8096a3 (diff) | |
tools: Delete unused binpatch
This was a no-install binary apparently unused.
Update #2730.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions