Skip to content
This repository was archived by the owner on Dec 23, 2024. It is now read-only.

Pull requests: xamarin/visualfsharp

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Comment out use of username/password in PowerShell script
#53 by mrward was merged Mar 1, 2024 Loading…
Remove duplicate package reference
#52 by Therzok was merged Feb 21, 2023 Loading…
Remove Gathering Class icon code as we no longer use it
#51 by nosami was merged Dec 22, 2022 Loading…
Remove editing state indicator from F# Interactive pad
#49 by nosami was merged Oct 5, 2022 Loading…
Remove more gtk to build
#48 by iainx was merged Oct 5, 2022 Loading…
Remove GTK code
#47 by nosami was merged Aug 12, 2022 Loading…
Indentation changes
#46 by davidwengier was merged Jul 15, 2022 Loading…
Interactive: Mark workspace as Interactive, not Misc
#44 by sandyarmstrong was merged Jul 1, 2022 Loading…
Remove automatic project reordering
#43 by nosami was merged Jun 21, 2022 Loading…
Use gettextcatalog with hardcoded strings
#41 by marshall-lerner was merged May 2, 2022 Loading…
Don't depend on targets installed by Mono
#40 by nosami was merged Mar 24, 2022 Loading…
Remove FSharp.addin.xml as EmbeddedResource
#39 by nosami was merged Mar 10, 2022 Loading…
Respond to options changes in Roslyn
#37 by davidwengier was merged May 1, 2022 Loading…
Remove references to old mono-addins submodule
#36 by sandyarmstrong was merged Feb 24, 2022 Loading…
Dev/nosami/fix 1473378
#35 by nosami was merged Feb 24, 2022 Loading…
Dev/nosami/fix 1471445
#32 by nosami was merged Feb 3, 2022 Loading…
Dev/nosami/fix 1469801
#31 by nosami was merged Feb 2, 2022 Loading…
Build: Use PackageDownload instead of DownloadNupkg
#30 by sandyarmstrong was merged Jan 17, 2022 Loading…
Use dotnet to launch F# Interactive
#29 by nosami was merged Jan 11, 2022 Loading…
Remove GTK compiler options panel
#28 by nosami was closed Jan 11, 2022 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.