Revert "Fix #502" - Githubissues

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA

Apache License 2.0

90 stars 12 forks source link

Revert "Fix #502" #508

Closed alex999990009 closed 5 months ago

alex999990009 commented 5 months ago

This reverts commit fb4d4fb99d87ba510a8f5cb8ab64a1d204697bad.