Closed JohannesMeierSE closed 3 months ago
I forgot to push the last two commits ... therefore, this PR concludes https://github.com/TypeFox/typir/pull/7
I forgot to push the last two commits ... therefore, this PR concludes https://github.com/TypeFox/typir/pull/7