88:f5cd956da0c3
Anton Shestakov <engored@ya.ru>, Tue, 17 Feb 2015 15:05:53 +0800
git prompt: better regexes

previous change 51:8edd66f923ca

docs/prompt-session-exit.sh

Permissions: -rw-r--r--

Other formats: Feeds:
#!/bin/false
# paste this into an interactive shell
kill -INT "$$" # the same as ^C
false