June 14, 2016
2:29 p.m.
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