Rename ifsul to ifsul.txt

This commit is contained in:
Philip Torchinsky 2019-11-22 12:14:35 +02:00 committed by GitHub
parent b50b903469
commit c9068b3a9f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23