Disable diff selection if there is no other#3256

Kevinjil merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

Kevinjil:no-diff-selectKevinjil/domjudge:no-diff-selectCopy head branch name to clipboard