Use correct filename to ignore reference file#3325

nickygerritsen merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

nickygerritsen:correct-filename-for-reference-ignorenickygerritsen/domjudge:correct-filename-for-reference-ignoreCopy head branch name to clipboard