diff src/input.h @ 287:6027a905fc06

[project @ 1994-01-13 01:41:00 by jwe]
author jwe
date Thu, 13 Jan 1994 01:42:10 +0000
parents 0febc87abbd4
children 82d30a23c979
line wrap: on
line diff
--- a/src/input.h	Wed Jan 12 22:14:18 1994 +0000
+++ b/src/input.h	Thu Jan 13 01:42:10 1994 +0000
@@ -28,7 +28,6 @@
 
 #include <stdio.h>
 
-extern char *octave_gets (void);
 extern int octave_read (char *buf, int max_size);
 extern FILE *get_input_from_file (char *name, int warn = 1);
 extern FILE *get_input_from_stdin (void);