CharacterEncoderImplementations__KOI7.st
branchjv
changeset 24093 0f94f6c8c9d4
parent 18011 deb0c3355881