kuis-isle3sw/IoPLMaterials

.gitignore should be updated

Closed this issue · 2 comments

The directory src was renamed for interpreter in commit d275115.
However, directory name in .gitignore is still src.
So, these src should be changed to interpreter.

Thanks! I'll fix it soon.

Done.