20 Apr
2018
20 Apr
'18
11:21 a.m.
Hello Ian,
my understanding was that it auto-updates but that it is not instantaneous.
Yours, Roland
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
--
My email is as private as my paper mail. I therefore support encrypting
and signing email messages. Get my PGP key from http://pgp.mit.edu .