add git rebase aliases
remove pager mode stuff
drop unused extensions
fix cleartool diff
add substitute path
do not version
Merge branch 'master' of github.com:christophgysin/dotfiles
Merge branch 'master' of github.com:christophgysin/dotfiles