20 Apr
2018
20 Apr
'18
10:24 a.m.
I'm working on it.
--Steve
On 04/20/2018 10:14 AM, ian.hinder@aei.mpg.de wrote:
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