Bug fix: read_charset didn't handle character mapping.
authorAdam Dickmeiss <adam@indexdata.dk>
Mon, 17 Jun 1996 14:24:08 +0000 (14:24 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Mon, 17 Jun 1996 14:24:08 +0000 (14:24 +0000)
commit239ec8f8cc9194097025c4b00d2ac0b0514dcf49
treed61e68e427187ae11760906e41ed9fdd69dbb66d
parent80eb0a73f541530f383715296203036b3adbacc2
Bug fix: read_charset didn't handle character mapping.
dfa/dfa.c