Skip to content
Snippets Groups Projects
Select Git revision
  • dba153bbce59985b0d8a23fc8d01c3b51d7e8528
  • master default protected
  • v0.10.0
  • v0.10.0-rc2
  • v0.10.0-rc1
  • v0.9.0
  • v0.9.0-rc1
  • v0.8.0
  • v0.8.0-rc2
  • v0.8.0-rc1
  • v0.7.0
  • v0.7.0-rc2
  • v0.7.0-rc1
  • v0.6.1
  • v0.6.0
  • v0.6.0-rc2
  • v0.6.0-rc1
  • v0.5.0
  • v0.5.0-rc2
  • v0.5.0-rc1
  • v0.4.0
  • v0.4.0-rc2
22 results

tools

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    Paul Fertser authored
    It looks like tools/ should be used only for build tools, and contrib/
    is a suitable place for everything else.
    
    Change-Id: Iddaebba0acb6d66404912ec96749b46e4be643d8
    Signed-off-by: default avatarPaul Fertser <fercerpav@gmail.com>
    Reviewed-on: http://openocd.zylin.com/1906
    
    
    Reviewed-by: default avatarSpencer Oliver <spen@spen-soft.co.uk>
    Tested-by: default avatarSpencer Oliver <spen@spen-soft.co.uk>
    6405941c
    History