| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | |
 |
index : dotfiles | |
| All my dotfiles | René 'Necoro' Neumann |
| summaryrefslogtreecommitdiff |