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

Published 20 hours ago • verified publisher icon JetBrains

YAML file watcher should modify project states

Open ice1000 opened this issue 4 years ago • 0 comments

I modified binariesDir: bla in arend.yaml, and a new binary dir is created. But it's not marked as an excluded dir, and the old dir is still excluded. Should we change this behaviour?

ice1000 avatar Oct 10 '20 08:10 ice1000