# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 1039387554 0
# Node ID 6f18b3ad0f1e80323e082b6be472bd0722c17d33
# Parent  caee7b20292fb890fa3fb85406cdd74bba8d45b6
Remove codepoint 0x7f.

diff -r caee7b20292f -r 6f18b3ad0f1e etc/charsets/jisx0201.map
--- a/etc/charsets/jisx0201.map	Thu Dec 05 14:31:28 2002 +0000
+++ b/etc/charsets/jisx0201.map	Sun Dec 08 22:45:54 2002 +0000
@@ -125,7 +125,6 @@
 0x7c 0x007C
 0x7d 0x007D
 0x7e 0x203E
-0x7f 0x007F
 0xa1 0xFF61
 0xa2 0xFF62
 0xa3 0xFF63