chiark / gitweb /
~webstump / modbot-urcm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge remote branch 'origin/master'
[modbot-urcm.git] / stump / bin / activity
1 #!/bin/sh
2
3 grep '^Activity' < $HOME/Mail/from | less
Unnamed repository; edit this file to name it for gitweb.