Add 'ogv' as recognized alias to 'ogg', allowing uploads of .ogv files to proceed...
[lhc/web/wiklou.git] / math / texvc.ml
2003-04-14 Lee Daniel CrockerInitial revision