openrisc/mor1kx — pull request #3 by ysangkok (2013-04-30 23:22:16+00:00)
Title: Rename ASCIIDOC sources to .asciidoc so that they are viewable online with Github

The .txt extension is not recognized by Github, and it does not convey much semantic.