Skip to content

cli: dump-grammar command #556

Merged
stanislaw merged 2 commits intomainfrom
reqif-integration
Dec 30, 2021
Merged

cli: dump-grammar command #556
stanislaw merged 2 commits intomainfrom
reqif-integration

Conversation

@stanislaw
Copy link
Copy Markdown
Collaborator

No description provided.

@stanislaw stanislaw enabled auto-merge December 30, 2021 14:02
@stanislaw stanislaw merged commit 509159f into main Dec 30, 2021
@stanislaw stanislaw deleted the reqif-integration branch December 30, 2021 14:03
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