118 reputation
4
bio website
location Seattle, WA
age
visits member for 1 year, 6 months
seen Jul 15 '13 at 20:04

Jan
14
revised Bash script that reads filenames from a pipe or from command line args?
added 224 characters in body
Jan
14
revised Bash script that reads filenames from a pipe or from command line args?
added 139 characters in body
Jan
14
revised Bash script that reads filenames from a pipe or from command line args?
edited title