intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Goto errors embedded in goals

Open valis opened this issue 4 years ago • 0 comments

Navigation from source does not work for errors embedded in goals.

valis avatar Jun 25 '20 08:06 valis