summaryrefslogtreecommitdiff
path: root/.zsh/zshrc (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Cstg stuff (alias ...)René 'Necoro' Neumann2009-11-121-0/+1
|
* Better hg VCS prompt support.René 'Necoro' Neumann2009-11-071-0/+6
|
* Add "-m iff" to isabelle callRené 'Necoro' Neumann2009-10-271-1/+1
|
* Do not use stgit anymore but a normal local branch.René 'Necoro' Neumann2009-10-091-2/+1
|
* git uses 7 digits for commit shortnames -- let us do the sameRené 'Necoro' Neumann2009-10-081-1/+1
|
* Add the configuration changes to zshrcRené 'Necoro' Neumann2009-10-071-0/+4
|
* Initial check-in of filesRené 'Necoro' Neumann2009-10-071-0/+197