bash: set terminal title
authorAmin Bandali <bandali@gnu.org>
Sat, 10 Aug 2019 07:15:54 +0000 (03:15 -0400)
committerAmin Bandali <bandali@gnu.org>
Sat, 10 Aug 2019 07:15:54 +0000 (03:15 -0400)

No differences found