child 133:1b82b9501856
parent 131:642440fd7edb
132:f5a8f3d36842
Anton Shestakov <av6@dwimlabs.net>, Sat, 29 Oct 2016 10:59:26 +0800
.bash_prompt: use if instead of `test || cmd`

/geany/filedefs/

.. drwxr-xr-x
filetypes.html 73 -rw-r--r-- file | revisions | annotate
filetypes.python 74 -rw-r--r-- file | revisions | annotate