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