date and time created 88/07/21 17:35:50 by marc

[unix-history] / usr / src / local / local.cmd / dis.c

diff --git a/usr/src/local/local.cmd/dis.c b/usr/src/local/local.cmd/dis.c
index e4f765f..074622c 100644 (file)
--- a/usr/src/local/local.cmd/dis.c
+++ b/usr/src/local/local.cmd/dis.c
@@ -1,5 +1,5 @@
 #ifndef lint
 #ifndef lint

-static char sccsid[] = "@(#)dis.c      1.1 (Berkeley) %G%";
+static char sccsid[] = "@(#)dis.c      1.2 (Berkeley) %G%";

 #endif
 
 /*
 #endif
 
 /*


@@ -13,9 +13,6 @@ static char sccsid[] = "@(#)dis.c     1.1 (Berkeley) %G%";
 **     May '80.
 */
 
 **     May '80.
 */
 

-/*
-#include       <local-system>
-*/

 #include       <signal.h>
 #include       <setjmp.h>
 #include       <sgtty.h>
 #include       <signal.h>
 #include       <setjmp.h>
 #include       <sgtty.h>