Skip to content
GitLab
Commit 7cf193b4 authored by vagudets's avatar vagudets
Browse files

Merge branch 'dev-update_conf' into 'master' 

updated archive and added ensemble synonim

See merge request !142
parents 7c491a20 918d140a
Pipeline #14887 passed with stage
in 10 minutes and 11 seconds