273 reputation
135
bio website
location
age
visits member for 4 years
seen Dec 20 '14 at 15:49

Mar
13
accepted How to disable the alt-hotkey behavior on gnome terminal?