Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use a different prompt color when using SSH. | René 'Necoro' Neumann | 2009-11-17 | 1 | -1/+6 |
* | Cstg stuff (alias ...) | René 'Necoro' Neumann | 2009-11-12 | 1 | -0/+1 |
* | Better hg VCS prompt support. | René 'Necoro' Neumann | 2009-11-07 | 2 | -0/+82 |
* | Add "-m iff" to isabelle call | René 'Necoro' Neumann | 2009-10-27 | 1 | -1/+1 |
* | Do not use stgit anymore but a normal local branch. | René 'Necoro' Neumann | 2009-10-09 | 1 | -2/+1 |
* | git uses 7 digits for commit shortnames -- let us do the same | René 'Necoro' Neumann | 2009-10-08 | 1 | -1/+1 |
* | Add the configuration changes to zshrc | René 'Necoro' Neumann | 2009-10-07 | 1 | -0/+4 |
* | Moved some things out of the box | René 'Necoro' Neumann | 2009-10-07 | 1 | -10/+0 |
* | Initial check-in of files | René 'Necoro' Neumann | 2009-10-07 | 4 | -0/+293 |