[PHP-DOC] ovrimos

[Nuno Lopes]

It seems that the ovrimos sql server has been discontinued some time ago
(ovrimos.com has turned to a porno site, and ovrimos.gr doesn't work
anymore).

Should we remove the reference/ovrimos folder?

Nuno