Feature/double named dominance edges in index update - #347

Feature/double named dominance edges in index update#347

MartinKl wants to merge 4 commits into

mainkorpling/graphANNIS:mainfrom

feature/double-named-dominance-edges-in-index-updatekorpling/graphANNIS:feature/double-named-dominance-edges-in-index-updateCopy head branch name to clipboard