Hacker News new | ask | show | jobs
by kps 3367 days ago
Many terminals have an option to add space between lines.