Skip to content
Snippets Groups Projects
Commit c2810c34 authored by Markus Scheidgen's avatar Markus Scheidgen
Browse files

Merge branch 'parsers-on-github' into 'v0.10.0'

Parsers on github

See merge request !245
parents 1b715aa2 47d54336
No related branches found
No related tags found
3 merge requests!283Merge v0.10.0 into master for release,!254Merging these two branches concerning the encylopedia complex search,!245Parsers on github
Pipeline #92105 passed
Showing
with 94 additions and 82 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment