doc: align manual, developer guide filenames with wiki

This commit is contained in:
Simon Michael 2014-11-04 20:30:02 -08:00
parent 901ac8f0fb
commit 6b2dfb3d79
2 changed files with 0 additions and 0 deletions