# HG changeset patch
# User jwe
# Date 832004135 0
# Node ID ceaecd0967f31a7ff26449fb135a5a03b101eac3
# Parent  68b02495a5ac9b8c51f25562b623526c6d8ad851
[project @ 1996-05-13 16:15:35 by jwe]

diff -r 68b02495a5ac -r ceaecd0967f3 src/pt-plot.h
--- a/src/pt-plot.h	Mon May 13 16:08:57 1996 +0000
+++ b/src/pt-plot.h	Mon May 13 16:15:35 1996 +0000
@@ -315,6 +315,8 @@
 
 extern void do_external_plotter_cd (const string& newdir);
 
+extern void symbols_of_pt_plot (void);
+
 #endif
 
 /*