]> matita.cs.unibo.it Git - helm.git/commit
output headers to force utf-8 charset
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Jul 2006 08:47:58 +0000 (08:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Jul 2006 08:47:58 +0000 (08:47 +0000)
commitbc617f6f548c34a2faa59ca813cb37dd14c709ea
treed744b20909579f137689ec24343835e785643435
parent3402385d12a735f3f2b725ce57fea0669c20d499
output headers to force utf-8 charset
helm/www/matita/cgi-bin/hl.cgi