Skip to content

Fix ui warning - #263

Open
jackmew wants to merge 10 commits into
ProofSuite:developfrom
jackmew:fix-ui-warning
Open

Fix ui warning#263
jackmew wants to merge 10 commits into
ProofSuite:developfrom
jackmew:fix-ui-warning

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant