encodings.pl: Added `ASCII' alias.
[gcc.git] / libjava / addr2name.awk
2000-05-19 Tom TromeyJumbo patch: