tree 92fdd1e16cf8ef914ec9158fd63ed62f12b51fa3
parent b96b0b5abbf40cbdbed7952bf35a5a27ddf75928
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1565982681 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1565982681 -0300

Manual corrected with the new syntax for attributes

Commit 0d529138042, with the change in the syntax of attributes,
did not update the manual accordingly.