before initiating new branch dev.grep.open from dev,n
Merge branch 'dev' of github.com:huangyingw/vishrc into dev