Patch from RDB: rename ISO-8859-12 to -13, add ISO-8859-16, and
[u/mdw/putty] / wildcard.c
2001-08-27 simonImplemented a simple wildcard matching engine, and...