Skip to content
Snippets Groups Projects
Commit 62753c35 authored by Florian Spreckelsen's avatar Florian Spreckelsen
Browse files

Merge branch 'f-dict-heuristic' into 'dev'

F dict heuristic

See merge request !163
parents 9beee95e 867b1cc5
Branches
Tags
2 merge requests!178FIX: #96 Better error output for crawl.py script.,!163F dict heuristic
Pipeline #54407 passed