Skip to content

SPARK_Mode_Enabled feature RFC - #241

Open
kanigsson wants to merge 1 commit into
AdaCore:masterfrom
kanigsson:master
Open

SPARK_Mode_Enabled feature RFC#241
kanigsson wants to merge 1 commit into
AdaCore:masterfrom
kanigsson:master

Conversation

@kanigsson

Copy link
Copy Markdown

For #240

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.

1 participant