We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 82bb3fe commit 63a3f05Copy full SHA for 63a3f05
.gitignore
@@ -10,3 +10,4 @@ build
10
*.jou
11
*.log
12
simv
13
+.metals
0 commit comments