diff options
Diffstat (limited to 'mps/code/idlench.awk')
| -rw-r--r-- | mps/code/idlench.awk | 1 |
1 files changed, 0 insertions, 1 deletions
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 @@ | |||
| 1 | #!/bin/nawk -f | 1 | #!/bin/nawk -f |
| 2 | # impl.awk.idlench: IDENTIFIER LENGTH CHECK | 2 | # impl.awk.idlench: IDENTIFIER LENGTH CHECK |
| 3 | # $Id$ | 3 | # $Id$ |
| 4 | # $HopeName: MMsrc!idlench.awk(trunk.2) $ | ||
| 5 | # Copyright (c) 2001 Ravenbrook Limited. | 4 | # Copyright (c) 2001 Ravenbrook Limited. |
| 6 | # | 5 | # |
| 7 | # READERSHIP | 6 | # READERSHIP |