Hacker News new | ask | show | jobs
by dw-im-here 1432 days ago
Why not use a text editor that renders indents as whatever you want them to be?