Skip to content

Remove obsolete file#983

Merged
dsyme merged 1 commit intofsharp:mainfrom
bbatsov:remove-legacy-bootstrapper
Apr 5, 2025
Merged

Remove obsolete file#983
dsyme merged 1 commit intofsharp:mainfrom
bbatsov:remove-legacy-bootstrapper

Conversation

@bbatsov
Copy link
Contributor

@bbatsov bbatsov commented Apr 5, 2025

Seems to me this file is no longer needed as I see no references to it.

@dsyme dsyme merged commit 4cdc81d into fsharp:main Apr 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants