# HG changeset patch
# User jwe
# Date 745390280 0
# Node ID 91ab99b0dbae352254fb87b89fb3f9af4daf899b
# Parent  8cf37bf85faf86074e0a5c16abed80ceeb157c9a
[project @ 1993-08-15 04:51:00 by jwe]

diff -r 8cf37bf85faf -r 91ab99b0dbae src/oct-hist.h
--- a/src/oct-hist.h	Sun Aug 15 04:50:37 1993 +0000
+++ b/src/oct-hist.h	Sun Aug 15 04:51:20 1993 +0000
@@ -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.
diff -r 8cf37bf85faf -r 91ab99b0dbae src/t-builtins.h
--- a/src/t-builtins.h	Sun Aug 15 04:50:37 1993 +0000
+++ b/src/t-builtins.h	Sun Aug 15 04:51:20 1993 +0000
@@ -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 **);