annotate .bash_logout @ 175:d123ef7fdb82

working on implementing types and parts: 1, 2, 4 working, 3 not
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 03 Jul 2023 18:16:14 +0100
parents 5371599c0cfa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
20
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 # ~/.bash_logout
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
2