commit | b085fcb6d9dc62e54ceb7b4008f9d850d59f59d9 | [log] [tgz] |
---|---|---|
author | Philipp Wiesemann <philipp.wiesemann@arcor.de> | Sun Mar 19 22:16:24 2017 +0100 |
committer | Philipp Wiesemann <philipp.wiesemann@arcor.de> | Sun Mar 19 22:16:24 2017 +0100 |
tree | ef0aaa03ada139b06f7ab8246c8ef7a2de5da5a9 | |
parent | 01812a0ca5169353ce902510afc887d4fc06d676 [diff] |
Updated file name in porting README.