Add missing $Header content that got lost during git migration

diff --git a/buffer-debian-1.19-7.patch b/buffer-debian-1.19-7.patch
index b798d702961cd669b885290cc6653213b2dbd24b..0b229e8460d71f64a74bd2f57dca86d4c0a9c9a9 100644 (file)
--- a/buffer-debian-1.19-7.patch
+++ b/buffer-debian-1.19-7.patch
@@ -69,7 +69,7 @@
  #include "sem.h"
  
  #ifndef lint
- static char *rcsid = "$Header$";
+ static char *rcsid = "$Header: /a/swan/home/swan/staff/csg/lmjm/src/buffer/RCS/buffer.c,v 1.19 1995/08/24 17:46:28 lmjm Exp lmjm $";
  #endif
  
 -#ifndef __alpha