Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Fixed minor documentation errors #3
added a commit
this pull request
Apr 17, 2012
This comment has been minimized.
This comment has been minimized.Show comment Hide comment
Awesome! Realistically, I should find an automated solution for generating the docs to prevent errors like this. There are a number of options out there, but I don't love any of them. Also, I'd need to make a lot of changes to the current annotations to use any of the tools.
I'll get to it at some point down the road, but there are higher priorities at the moment. Thanks for the Pull Request!