Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
5
Impact
~67 people reached

Feb
11
comment grep --exclude-dir behaviour: a bug or a feature?
Thank you, @vinc17, I'll report this as a bug.
Feb
7
comment Detecting which font should be used
Thank you very much!