3 reputation
4
bio website
location
age
visits member for 3 years, 1 month
seen Dec 6 at 7:30

Mar
25
revised Google Chrome extensions to allow changing font of selected text
deleted 7 characters in body
Mar
25
revised Google Chrome extensions to allow changing font of selected text
Added more explanation to the question
Mar
25
revised Google Chrome extensions to allow changing font of selected text
Fixed missing segment in code snippet
Mar
14
revised How to get my external IP address (over NAT) from the Windows command-line?
fixed grammar, improved formatting