Merge pull request #1444 from jts-arm/docs
Fix typos in documentation
commit cfd2e04a7176e8944fb14585cbf18f7bf20603d5
2 parents ebce735 + 677ad32
@Dimitris Papastamos Dimitris Papastamos authored on 22 Jun 2018
GitHub committed on 22 Jun 2018
Showing 2 changed files
View
docs/porting-guide.rst
View
docs/user-guide.rst