summaryrefslogtreecommitdiff
path: root/cache.h (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add cache.hLars Hjemli2008-03-271-0/+23
td>René 'Necoro' Neumann1-1/+1 2011-05-06Emacs changes for new PG and Isabelle versionRené 'Necoro' Neumann1-5/+8 2011-05-03Rename 'gentoo' prompt to 'necoro'René 'Necoro' Neumann3-34/+34 2011-05-03Better setup for the xinitrc stuff.René 'Necoro' Neumann4-3/+7