Skip to content
This repository was archived by the owner on Nov 6, 2023. It is now read-only.

Added ruleset for fsharp.org#15850

Merged
J0WI merged 1 commit intoEFForg:masterfrom
Jochen-A-Fuerbacher:fsharp
Jun 21, 2018
Merged

Added ruleset for fsharp.org#15850
J0WI merged 1 commit intoEFForg:masterfrom
Jochen-A-Fuerbacher:fsharp

Conversation

@Jochen-A-Fuerbacher
Copy link
Copy Markdown
Contributor

No description provided.

@Hainish Hainish added the top-1m label Jun 21, 2018
@J0WI J0WI merged commit 85b6982 into EFForg:master Jun 21, 2018
@Jochen-A-Fuerbacher Jochen-A-Fuerbacher deleted the fsharp branch June 22, 2018 05:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants