doc - delta/lua-github.git - github.com: lua/lua.git

Mode	Name	Size
-rw-r--r--	lua.dvi	40392	log plain
-rw-r--r--	lua.ps	131471	log plain
-rw-r--r--	manual.dvi	48832	log plain
-rw-r--r--	manual.ps	156347	log plain