Skip to content
Snippets Groups Projects
Commit eb0e3f80 authored by georg's avatar georg
Browse files

Merge branch 'README-drop-schleuder-version-3' into 'main'

README: Drop Schleuder version 3, we're at 4 now

Closes #123

See merge request !108
parents 9b0db889 05eaad83
Loading
Checking pipeline status
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment