changeset 63:91ab99b0dbae

[project @ 1993-08-15 04:51:00 by jwe]
author jwe
date Sun, 15 Aug 1993 04:51:20 +0000
parents 8cf37bf85faf
children bd04d91a7a4a
files src/oct-hist.h src/t-builtins.h
diffstat 2 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/oct-hist.h
+++ b/src/oct-hist.h
@@ -33,6 +33,7 @@
 extern void maybe_save_history (char*);
 extern void do_history (int, char**);
 extern void do_edit_history (int, char**);
+extern void do_run_history (int, char**);
 extern int current_history_number (void);
 
 // Nonzero means we are saving history lines.
--- a/src/t-builtins.h
+++ b/src/t-builtins.h
@@ -48,6 +48,7 @@
 extern tree_constant builtin_history (int, char **);
 extern tree_constant builtin_load (int, char **);
 extern tree_constant builtin_ls (int, char **);
+extern tree_constant builtin_run_history (int, char **);
 extern tree_constant builtin_save (int, char **);
 extern tree_constant builtin_set (int, char **);
 extern tree_constant builtin_show (int, char **);