Fix iml files - Githubissues

arend-lang / tutorial-code

Source code & exercises in Arend's documentation

Apache License 2.0

21 stars 9 forks source link

Closed AxeelAnder closed 4 years ago

AxeelAnder commented 4 years ago

Corrects the exclude folder path in PartI.iml Adds the missing PartII.iml

ice1000 commented 4 years ago

Why closing?

AxeelAnder commented 4 years ago

Since changes are minor like typo fix, I have a fear that it's stupid to send these kind of prs. Now that it's aprroved I'll reopen.