search

MathHubInfo / Legacy-localmh

DEPRECATED - A cross-repository administration tool for the local authoring in MathHub.info
1 stars 0 forks source link

make java read files as UTF-8 #257

Closed cmaeder closed 8 years ago

cmaeder commented 8 years ago

see https://github.com/KWARC/MMT/issues/80

cmaeder commented 8 years ago

I guess this issue can be closed (it was a localmh_docker problem anyway)