diff src/oct-hist.h @ 5305:539428e4606a

[project @ 2005-04-26 02:59:08 by jwe]
author jwe
date Tue, 26 Apr 2005 02:59:08 +0000
parents b80bbb43a1a9
children 4c8a2e4e0717
line wrap: on
line diff
--- a/src/oct-hist.h	Mon Apr 25 16:36:32 2005 +0000
+++ b/src/oct-hist.h	Tue Apr 26 02:59:08 2005 +0000
@@ -27,8 +27,8 @@
 
 #include "cmd-hist.h"
 
-extern int default_history_size (void);
-extern std::string default_history_file (void);
+// Write timestamp to history file.
+extern void octave_history_write_timestamp (void);
 
 // TRUE means input is coming from temporary history file.
 extern bool input_from_tmp_history_file;