change tunable of remote repositories to allow generating history only from UI
fixes #748
Merge branch 'master' of github.com:OpenGrok/OpenGrok into hist_uionly
need to be more intelligent in determining if repo is remote
use correct path separator
introduce dirbased state for remote SCMs
fix the comment
fix formatting
Merge pull request #757 from vladak/hist_uionly

change tunable of remote repositories to allow generating history only f...