chiark / gitweb /
dot/shell-rc: If terminal is `dumb' then use vanilla prompts.
[profile] / dot / cgrc
CommitLineData
164705a9
MW
1log -c
2diff -c