diff src/coding.c @ 69559:130314bad206

Use "echo" as a default for $echo, otherwise we'll execute $DIFF twice, and once with the wrong options.
author André Spiegel <spiegel@gnu.org>
date Sat, 18 Mar 2006 14:47:20 +0000
parents be24f5428cef
children 4f5b486af1b5 0cdee8b991e1
line wrap: on
line diff