Skip to content
Snippets Groups Projects
Commit 7fb1c824 authored by Arkadiusz Janz's avatar Arkadiusz Janz
Browse files

Old settings for WoSeDon tool (uses Document as a full disambiguation context,...

Old settings for WoSeDon tool (uses Document as a full disambiguation context, which makes it a lot faster).
parent f99afc4e
No related merge requests found
Pipeline #1670 passed with stage
in 9 minutes and 24 seconds