diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2012-01-28 18:42:54 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2012-02-02 21:02:26 +0100 |
| commit | 375d68d110a0548aff7a7e54b65bbb92051911ff (patch) | |
| tree | 41cad049720e4ea401c787ac8fcf22a99785c501 /boot/grub/Config.in | |
| parent | 76cd6b18e3b6720f7dc5997dac0831ef7e62912d (diff) | |
openocd: add host variant
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Acked-by: Luca Ceresoli <luca@lucaceresoli.net>
Acked-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'boot/grub/Config.in')
0 files changed, 0 insertions, 0 deletions