[profile] / bash_logout

#
# $Id$
#
# Bash logout things
#

#[ -n "$__mdw_started_pixie" ] && \
#  pixie -C quit
Commit	Line	Data
f617db13 MW	1	#
	2	# $Id$
	3	#
	4	# Bash logout things
	5	#
	6
	7	#[ -n "$__mdw_started_pixie" ] && \
	8	# pixie -C quit