On 12/05/2011 01:04 PM, Werner Almesberger wrote:
- some lines are longer than 80 characters
Does this matter to anyone? Everyone's using high resolution displays those days, and something like 120 characters looks like a more practical limit.
_______________________________________________ http://lists.milkymist.org/listinfo.cgi/devel-milkymist.org IRC: #milkymist@Freenode
