That's strange. As far as I know we actually cannot delete from there. At
least I was not allowed to delete from orm/5.1 yesterday when I was doing
work.
As for restoring, I do not know if backups are kept. We could open a
ticket and see. If not, do y'all build docs into the release bundles?
That could be an option
On Fri, Feb 12, 2016 at 10:31 AM Emmanuel Bernard <emmanuel(a)hibernate.org>
wrote:
Apparently
http://docs.jboss.org/hibernate/validator is gone from
the
documentation server. Anyone has an idea of how that could have
happened?
How to fix it would be very useful too, I'm not sure we have a full
backup of all the documentation since the history of time.
Emmanuel
_______________________________________________
hibernate-dev mailing list
hibernate-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/hibernate-dev