This repository was archived by the owner on Dec 23, 2024. It is now read-only.
Commit 975292a
dispose fsi at the end of a scripting session (dotnet#8084)
1 parent 2806f1f commit 975292a
1 file changed
+1
-0
lines changedLines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
83 | 83 | | |
84 | 84 | | |
85 | 85 | | |
| 86 | + | |
0 commit comments