175:b8ac40257cb4
Anton Shestakov <av6@dwimlabs.net>, Sun, 17 Mar 2019 13:43:02 +0800
.bash_prompt: set terminal title Used to be done automatically somewhere, but not anymore?
previous change 71:60c7d2a1ec38

docs/prompt-hg.png

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
(binary:image/png)