Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
JastAdd
RagConnect
Merge requests
!10
Merged
Created
Jul 28, 2021
by
René Schöne
@rschoene
Owner
Options
Allow connection endpoints for list nonterminals
Overview
0
Commits
8
Pipelines
1
Changes
54
Closes
#21 (closed)