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 "Nolimips, a MIPS simulator with infinitely many registers".
The branch update-build-aux has been deleted
was ff5ce5b15532948717df99e4c3e2872bf8acb552
-----------------------------------------------------------------------
ff5ce5b15532948717df99e4c3e2872bf8acb552 build-aux: update tools
-----------------------------------------------------------------------
hooks/post-receive
--
Nolimips, a MIPS simulator with infinitely many registers