comparison make-dist @ 67902:5bbf3b0a3637

The Linux console doesn't support the same escape codes, it seems.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 30 Dec 2005 04:10:29 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
comparison
equal deleted inserted replaced
67901:78fd3cd00171 67902:5bbf3b0a3637