From c0bb4cd3cde4e17fd066c1257ffe344eebf0887e Mon Sep 17 00:00:00 2001
From: Richard Brooksby
Date: Fri, 7 Dec 2001 13:19:25 +0000
Subject: Removing hopenames from the master sources.

This change will be integrated but ignored (-ay) to the gg-epcore/union sources, so that they retain HopeNames.

Copied from Perforce
 Change: 24911
 ServerID: perforce.ravenbrook.com

---
 mps/code/idlench.awk | 1 -
 1 file changed, 1 deletion(-)

(limited to 'mps/code/idlench.awk')

diff --git a/mps/code/idlench.awk b/mps/code/idlench.awk
index 83253148ca7..b212e4c213f 100644
--- a/mps/code/idlench.awk
+++ b/mps/code/idlench.awk
@@ -1,7 +1,6 @@
 #!/bin/nawk -f
 # impl.awk.idlench: IDENTIFIER LENGTH CHECK
 # $Id$
-# $HopeName: MMsrc!idlench.awk(trunk.2) $
 # Copyright (c) 2001 Ravenbrook Limited.
 #
 # READERSHIP
-- 
cgit v1.2.1