lua.org mirror site

[Luiz Henrique de Figueiredo <lhf@...>]

Pepperfish, which hosts lua.org, is making networks change during this
weekend. There is a mirror Lua site in case the lua.org is down:
	http://www.tecgraf.puc-rio.br/lua/mirror/