summaryrefslogtreecommitdiff
path: root/src
ModeNameSize
-rwxr-xr-xpassword-store.sh10616logplain
d---------platform37logplain
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-24 08:23:26 +0000
13a2419277390a9e27&follow=1'>Emacs 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