child 132:f5a8f3d36842
parent 130:2f67db7c1de5
131:642440fd7edb
Anton Shestakov <av6@dwimlabs.net>, Sat, 29 Oct 2016 10:58:50 +0800
.bash_prompt: don't just replace "default" with nothing ("default-is-good")

/fonts/

.. drwxr-xr-x
local.conf 527 -rw-r--r-- file | revisions | annotate