Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add batch files to execute Dotty commands on Windows #5444
Add batch files to execute Dotty commands on Windows #5444
Changes from 19 commits
72ef612
0f94c25
36f6108
0717827
4e57388
728cdff
52a4766
89437fb
d30ef54
3455189
28b4c04
6688ea6
205fab5
a6df702
211ce5d
221a31e
09b8c18
eb49bd2
3a00a89
3ed96b8
d789e52
205c693
f96f1d7
169a40b
675750f
7f79714
654eb22
b1af46c
4b5a2bb
455908a
b862df6
795630c
52816f9
f9d83c2
c43753c
61f9809
c39761e
0caff77
08018ee
0a59fb3
1e057d3
7787cae
250e74a
43ebc47
92bbdea
2178a78
8171cf6
dc639e2
35b571e
6a5879a
8dce9ac
7c0cd6e
ad0759e
3c2e97e
2fbf874
d989c51
a723c27
6cdba2e
138b838
207a20b
c663615
252981f
b18f925
51d5720
9ed0d38
c0222cd
c4e56f3
69d52c6
1a476f2
a7623b0
6be9fc3
1b0694b
4a20328
db111ef
87a1acf
a8d5f90
9f441f6
99a6325
b9772e9
52dd1f4
1e799c8
e556a07
8e7a6b2
d9d727b
7f28baa
ba1db7f
4bfa395
cc65906
2181240
ef04e41
74467ff
0ef744b
1905d2a
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing