diff options
| author | Marcel Ribeiro Dantas, Ph.D <ribeirodantasdm@gmail.com> | 2022-07-10 12:18:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-10 12:18:22 +0200 |
| commit | feea0f044a6684377e7580f280a0bf1bd2917cf1 (patch) | |
| tree | fd2ceaedf6da44830c946a0b98f1d1394dc17519 /inform7.html.markdown | |
| parent | f53fab778833a4e1547acec9c2e6a84fb5f20ccc (diff) | |
Fix filename and add translator authorship
The incorrect filename in this file was overwriting the same document for the original document in English. This commit fixes this. Besides, the author of the translation had not added his info, so I did.
Diffstat (limited to 'inform7.html.markdown')
0 files changed, 0 insertions, 0 deletions