20 Apr
2018
20 Apr
'18
8:14 a.m.
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 http://einsteintoolkit.org/update.php
?
What else does that button do?
--
Ian Hinder
http://members.aei.mpg.de/ianhin