### -*-bash-*-
###
### Bash logout things

## If there's a local hook, then run it.
if [ -f "$HOME/.logout-local" ]; then . "$HOME/.logout-local"; fi