Rename redu to redu.txt

This commit is contained in:
Eero S 2018-08-31 16:28:26 +03:00 committed by GitHub
parent 539909e98d
commit d4184811ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23