This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "HAVM, a Tree intermediate language interpreter". The branch master has been updated via b493ecf6ceb8cea38c69c1abcc19171c5da94442 (commit) from e2a13182489b93904d3afbcfd057992a79154766 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- b493ecf Update the builtins documentation. ----------------------------------------------------------------------- Summary of changes: doc/builtins.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- HAVM, a Tree intermediate language interpreter