Skip to content

Commit b8aaf72

Browse files
christian-publicchristian-public
committed
Fix race condition where file is not saved before Idris command is run
1 parent ba59027 commit b8aaf72

File tree

1 file changed

+310
-297
lines changed

1 file changed

+310
-297
lines changed

0 commit comments

Comments
 (0)