tree e59c44cccd98d725bc7fe9b4ad2d85420dc04802
parent 7288528a1e081d101a1bc19346a974088b6b8315
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1586544288 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1586544288 -0300

Improvements in the manual

Several small improvements, in particular a new subsection consolidating
all status codes in the API.