Rename to GitHub convention; Makes this doc available during pull request creation

This commit is contained in:
Davis W. Frank
2013-07-30 08:07:22 -07:00
parent 8a8cc03dea
commit 0e800ee243