#
# $Id$
#
# Bash logout things
#

#[ -n "$__mdw_started_pixie" ] && \
#  pixie -C quit