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

  • 0 posts edited
  • 0 helpful flags
  • 2 votes cast
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!