Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
pipe/filter: -l vs -1 #740
I've also had a few questions on this. The font could certainly make the distinction clearer. For programming, this is a useful font-selection criteria, along with slashed zeros to distinguish 0 and O. The font is probably something for the styles repository though?