Merge pull request #354 from riscv/fix-openocd-texi-typo

Fixed erroneous space that made CentOS 6 build fail
This commit is contained in:
Carsten Gosvig 2019-03-01 09:34:00 -08:00 committed by GitHub
commit c91ff146d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions