Sebastian Huber 2f3d8040ca tools: Delete unused binpatch ...

This was a no-install binary apparently unused.

Update #2730.

2016-06-06 14:10:56 +02:00

..

build

tools: Delete unused binpatch

2016-06-06 14:10:56 +02:00

cpu

tools/cpu/nios2/ptf.c: Fix leak of memory pointed to by new_prefix

2015-09-03 12:33:25 -05:00