From: H.G.Muller <hgm@hgm-xboard.(none)>
Date: Thu, 12 May 2016 13:49:26 +0000 (+0200)
Subject: Forgotten header for previous patch
X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=0016be1c7eb8b02be7944c8aa2daf7782fb19a53

Forgotten header for previous patch
---

diff --git a/frontend.h b/frontend.h
index 8bdf558..280a1fc 100644
--- a/frontend.h
+++ b/frontend.h
@@ -245,6 +245,7 @@ int  EvalGraphDialogExists P((void));
 void SlavePopUp P((void));
 void ActivateTheme P((int new));
 char *Col2Text P((int n));
+char *Shorten P((char *s));
 
 /* these are in xhistory.c  */
 Boolean MoveHistoryIsUp P((void));