diff TOOLS/realcodecs/28_8.sh @ 11115:10972fd355bf

stdin should also be \-, forgotten \.
author diego
date Tue, 14 Oct 2003 13:55:25 +0000
parents 5ea24082eaaa
children
line wrap: on
line diff