child 35:44a6ddc7f222
parent 33:b0de9677e28d
34:6d42e8d89e7e
Anton Shestakov <engored@ya.ru>, Wed, 27 Aug 2014 03:54:46 +0900
.bash_prompt: replace grep with "string contains" bashism.

/geany/filedefs/

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