Correct OpenOCD version in tools.openocd.path definition#224
Merged
facchinm merged 1 commit intoarduino:masterfrom Apr 4, 2017
per1234:tools.openocd.path-fix
Merged
Correct OpenOCD version in tools.openocd.path definition#224facchinm merged 1 commit intoarduino:masterfrom per1234:tools.openocd.path-fix
facchinm merged 1 commit intoarduino:masterfrom
per1234:tools.openocd.path-fix
