June 15, 2016
6:24 a.m.
ok, done
Le 14 juin 2016 à 16:29, Damien Cassou <damien.cassou@inria.fr> a écrit :
Is the synch done automatically?
No, there is a bash script in the directory to upload the changes.
-- Damien Cassou http://damiencassou.seasidehosting.st
"Success is the ability to go from one failure to another without losing enthusiasm." --Winston Churchill