chiark / gitweb /
Merge branch 'master' of git+ssh://metalzone.distorted.org.uk/~mdw/public-git/profile
[profile] / bash_logout
1 #
2 # $Id$
3 #
4 # Bash logout things
5 #
6
7 #[ -n "$__mdw_started_pixie" ] && \
8 #  pixie -C quit