coarsly add htmlcharset=utf-8 to each of these. this is now the charset used to produ...
[mir.git] / doc / LONG.INSTALL.mir
2002-10-25 matt*** empty log message ***