Hi Steve,
If I push to the ET website repo, does it automatically get reflected on the web? Or do I need to click the button on
http://einsteintoolkit.org/update.php
?
What else does that button do?
--
Ian Hinder
http://members.aei.mpg.de/ianhin