- Notifications
You must be signed in to change notification settings - Fork825
Commit40d789c
File tree
18 files changed
+176
-17
lines changed- vsintegration/src
- FSharp.Editor
- LanguageService
- Options
- FSharp.UIResources
- xlf
18 files changed
+176
-17
lines changedLines changed: 16 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
146 | 146 |
| |
147 | 147 |
| |
148 | 148 |
| |
| 149 | + | |
| 150 | + | |
| 151 | + | |
149 | 152 |
| |
150 | 153 |
| |
151 | 154 |
| |
| |||
163 | 166 |
| |
164 | 167 |
| |
165 | 168 |
| |
| 169 | + | |
166 | 170 |
| |
167 | 171 |
| |
168 | 172 |
| |
| |||
423 | 427 |
| |
424 | 428 |
| |
425 | 429 |
| |
426 |
| - | |
427 |
| - | |
428 |
| - | |
429 |
| - | |
430 |
| - | |
431 |
| - | |
| 430 | + | |
| 431 | + | |
432 | 432 |
| |
433 |
| - | |
434 |
| - | |
| 433 | + | |
435 | 434 |
| |
436 |
| - | |
437 |
| - | |
438 |
| - | |
439 |
| - | |
440 |
| - | |
441 |
| - | |
| 435 | + | |
| 436 | + | |
| 437 | + | |
| 438 | + | |
| 439 | + | |
| 440 | + | |
442 | 441 |
| |
443 |
| - | |
| 442 | + | |
444 | 443 |
| |
445 |
| - | |
446 |
| - | |
| 444 | + | |
447 | 445 |
| |
| 446 | + | |
448 | 447 |
| |
449 | 448 |
| |
450 | 449 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
114 | 114 |
| |
115 | 115 |
| |
116 | 116 |
| |
| 117 | + | |
117 | 118 |
| |
118 | 119 |
| |
119 | 120 |
| |
| |||
125 | 126 |
| |
126 | 127 |
| |
127 | 128 |
| |
| 129 | + | |
128 | 130 |
| |
129 | 131 |
| |
130 | 132 |
| |
|
Lines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
42 | 42 |
| |
43 | 43 |
| |
44 | 44 |
| |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
45 | 49 |
| |
46 | 50 |
| |
47 | 51 |
| |
|
Lines changed: 18 additions & 0 deletions
Some generated files are not rendered by default. Learn more aboutcustomizing how changed files appear on GitHub.
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
276 | 276 |
| |
277 | 277 |
| |
278 | 278 |
| |
| 279 | + | |
| 280 | + | |
| 281 | + | |
| 282 | + | |
| 283 | + | |
| 284 | + | |
279 | 285 |
|
Lines changed: 10 additions & 0 deletions
Some generated files are not rendered by default. Learn more aboutcustomizing how changed files appear on GitHub.
Lines changed: 10 additions & 0 deletions
Some generated files are not rendered by default. Learn more aboutcustomizing how changed files appear on GitHub.
Lines changed: 10 additions & 0 deletions
Some generated files are not rendered by default. Learn more aboutcustomizing how changed files appear on GitHub.
Lines changed: 10 additions & 0 deletions
Some generated files are not rendered by default. Learn more aboutcustomizing how changed files appear on GitHub.
Lines changed: 10 additions & 0 deletions
Some generated files are not rendered by default. Learn more aboutcustomizing how changed files appear on GitHub.
0 commit comments
Comments
(0)