From 5d43eb420e036d993a9e100c9b46d7b78e323123 Mon Sep 17 00:00:00 2001 From: Charlie Shepherd Date: Tue, 6 Nov 2007 23:24:56 +0000 Subject: Replace space indent with tab indent --- toys/catv.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'toys') diff --git a/toys/catv.c b/toys/catv.c index ee23061d..161ca514 100644 --- a/toys/catv.c +++ b/toys/catv.c @@ -44,7 +44,7 @@ int catv_main(void) } if (c < 32) { if (c == 10) { - if (toys.optflags & 1) putchar('$'); + if (toys.optflags & 1) putchar('$'); } else if (toys.optflags & (c==9 ? 2 : 4)) { printf("^%c", c+'@'); continue; -- cgit v1.2.3